A new definition of SLDNF-resolution. ILLC Prepublication Series CT-92-03 (1992)

by K R Apt, H C Doets
Venue:Department of Mathematics and Computer Science, University of Amsterdam, The Netherlands