Membership-Constraints and Complexity in Logic Programming with Sets

Frieder Stolzenburg. Membership-Constraints and Complexity in Logic Programming with Sets. In Frontiers of Combining Systems (FroCos). pages 285-302, 1996.

Abstract

Abstract is missing.