Hervé Gallaire, Jean-Marie Nicolas. Logic and Databases: An Assessment. In Serge Abiteboul, Paris C. Kanellakis, editors, ICDT 90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings. Volume 470 of Lecture Notes in Computer Science, pages 177-186, Springer, 1990. [doi]
Abstract is missing.