Carmen Gervet. Sets and Binary Relation Variables Viewed as Constrained Objects. In Eugenio G. Omodeo, Gianfranco Rossi, editors, Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993. 1993.
Abstract is missing.