Proving ground completeness of resolution by proof planning (1997)

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