An improved incremental algorithm for generating prime implicates (1992)

by J De Kleer
Venue:In Proceedings of the National Conference on Artificial Intelligence