Angelo Morzenti, Pierluigi San Pietro. An Object-Oriented Logic Language for Modular System Specification. In Pierre America, editor, ECOOP 91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings. Volume 512 of Lecture Notes in Computer Science, pages 39-58, Springer, 1991. [doi]
Abstract is missing.