flogg: A Logic Programming Language with Finite Sets (1991)

by Agostino Dovier , Eugenio G. Omodeo , Enrico Pontelli , Gianfranco Rossi
Venue:Proc. 8th Int. Conf. on Logic Programming
Citations:33 - 11 self