Formalizing a logic for logic programming
John S. SchlipfVolume:
5
Year:
1992
Language:
english
Pages:
24
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/bf01543479
File:
PDF, 1.21 MB
english, 1992