Time-bounded reasoning in first order knowledge base systems
1991 ◽
pp. 54-72
2007 ◽
Vol 19
(2)
◽
pp. 297-309
◽
1993 ◽
Vol 24
(2)
◽
pp. 83-92
◽
1983 ◽
Vol 19
(1)
◽
pp. 73-95
◽