Used together with:
while
(1)
resolut
(1)
sldnf
(1)
complet
(1)
retain
(1)
Stem
allowed$ (
all stems
)
1 papers:
CSL-1989-DeckerC
Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution (
HD
,
LC
), pp. 98–115.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.