A Note on SLDNF-Resolution

Wilfried Buchholz. A Note on SLDNF-Resolution. Journal of Logic and Computation, 8(2):159-167, 1998.

Abstract

Abstract is missing.