Search through systematic set enumeration (1992)

by R Rymon
Venue:In Proc. Third Intl. Conf. on Knowledge Representation and Reasoning