On the completeness of SLDENF-resolution
Michael ThielscherVolume:
17
Langue:
english
Pages:
16
DOI:
10.1007/bf00244496
Date:
October, 1996
Fichier:
PDF, 910 KB
english, 1996