A completeness result for SLDNF resoultion

Stefano Baratella, Gilberto Filé. A completeness result for SLDNF resoultion. Bulletin of the EATCS, 35:97-105, 1988.

Abstract

Abstract is missing.