Proving ground completeness of resolution by proof planning (1997)

by Manfred Kerber, C Sehn, Arthur
Venue:FLAIRS-97, Proceedings of the 10th International Florida Artificial Intelligence Research Symposium