Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution.

Hendrik Decker, Lawrence Cavedon

Browse the full CSL paper archive.