Logic programming with sets (1987)

by G M Kuper
Venue:in Proc. ACM SICMOD-SICACT Symp. Principles Database Syst