@mastersthesis{mastersthesis8df6d2eb,
title   = {C.L.P. "Nao-Von" a tempo real, matematicamente programável},
author = {Pessotta, Roberto Clarete and Martins, Wagner Waneck},
year = {1993},
school = {Universidade de São Paulo}
}