Torquato Tasso
Cécile Malgrange, Christian Ricolleau, Michel Schlenker
Steve James
Symposium on Logic Programming (2nd 1985 Boston, Mass.)