A new definition of SLDNF-resolution

Krzysztof R. Apt, Kees Doets
1994 The Journal of Logic Programming  
doi:10.1016/0743-1066(94)90051-5 fatcat:cylvmajoifainkfktpxvsb75ji