Michael J. Maher. A Transformation System for Deductive Database Modules with Perfect Model Semantics. In C. E. Veni Madhavan, editor, Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings. Volume 405 of Lecture Notes in Computer Science, pages 89-98, Springer, 1989.
Abstract is missing.