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]
@inproceedings{GallaireN90, title = {Logic and Databases: An Assessment}, author = {Hervé Gallaire and Jean-Marie Nicolas}, year = {1990}, tags = {logic}, researchr = {https://researchr.org/publication/GallaireN90}, cites = {0}, citedby = {0}, pages = {177-186}, booktitle = {ICDT 90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings}, editor = {Serge Abiteboul and Paris C. Kanellakis}, volume = {470}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-53507-1}, }