Y. J. Jiang. An algebraic technique for deductive database system. In Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988. pages 329-336, IEEE, 1988. [doi]
Abstract is missing.