Caseau, Y. "Constraint Satisfaction in LAURE" Bellcore technical memorandum.
(1992)
Languages mentioned
LAURE
{1989}