Search through systematic set enumeration (1992)

by R Rymon
Venue:In Proc. of 3rd Int’l Conf. on Principles of Knowledge Representation and Reasoning