On recursive axioms in deductive databases

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Received 9 February 1982, Revised 12 August 1982, Available online 10 June 2003.

论文官网地址:https://doi.org/10.1016/0306-4379(83)90024-8