On recursive axioms in deductive databases
- 31 December 1983
- journal article
- Published by Elsevier in Information Systems
- Vol. 8 (1) , 1-13
- https://doi.org/10.1016/0306-4379(83)90024-8
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965