Kuper, G. "Logic Programming with Sets", J Computer Sys Sci 41:44-64 (1990).

Languages mentioned

• LPS {1984}