Completeness of depth-bounded resolution in logic programming (1989)

by H Arimura
Venue:In Proceedings of the 6th Conference, Japan Soc. Software Sci. Tech