D.  Pedreschi and Zaniolo, C., ?Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings?, Lecture Notes in Computer Science, vol. 1154. Springer, 1996.