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]
Abstract is missing.