Encapsulating data in logic programming via categorical constraints
1998 ◽
pp. 391-410
◽
Keyword(s):
2011 ◽
Vol E94-B
(8)
◽
pp. 2208-2215
Keyword(s):
1983 ◽
1988 ◽
1990 ◽
1990 ◽