Deductive Database System based on Unit Resolution

Haruo Yokota, Sko Sakai, Hidenori Itoh. Deductive Database System based on Unit Resolution. In Proceedings of the Second International Conference on Data Engineering, February 5-7, 1986, Los Angeles, California, USA. pages 228-235, IEEE Computer Society, 1986. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.