PublicationJournal of Computer and System SciencesPaperLogic programming with setsJournal of Computer and System SciencesView publicationAbstractNo abstract available.Home↳ PublicationsDate01 Jan 1990PublicationJournal of Computer and System SciencesAuthorsGabriel M. KuperIBM-affiliated at time of publicationTopicsMathematical SciencesComputer ScienceShare