UNIF'97

International Unification Workshop



JFPLC'97

French Conference on Logic Programming and Constraint Programming

Journées Francophones de Programmation Logique et Programmation par Contraintes