A Class of Prolog Programs with Non-linear Outputs Inferable from Positive Data
2005 ◽
pp. 312-326
2000 ◽
Vol 241
(1-2)
◽
pp. 211-234
◽
1967 ◽
Vol 28
◽
pp. 105-176
Keyword(s):
1997 ◽
Vol 440
(1-2)
◽
pp. 111-123
◽