Caseau, Y. "Constraint Satisfaction in LAURE" Bellcore technical memorandum.

(1992)

Languages mentioned