Constructive negation and constraint logic programming with sets (2001)

by A Dovier, E Pontelli, G Rossi
Venue:New Generation Comput