Negation as failure: Careful closure procedure
Michael Gelfond, Halina PrzymusinskaVolume:
30
Year:
1986
Language:
english
Pages:
15
DOI:
10.1016/0004-3702(86)90001-9
File:
PDF, 693 KB
english, 1986