Unification of bounded simple set terms in deductive databases
1996 ◽
pp. 435-453
◽
Keyword(s):
1989 ◽
Vol 4
(4)
◽
pp. 403-429
◽
Keyword(s):
1989 ◽
Vol 4
(3)
◽
pp. 223-244
◽