Search through systematic set enumeration (1992)

by R Rymon
Venue:In Proc. of the Internation Conference on Principles of Knowledge Representation and Reasoning