Maarten H. van Emden. Computation and Deductive Information Retrieval. In Erich J. Neuhold, editor, Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977. pages 421-440, North-Holland, 1977.
@inproceedings{Emden77,
title = {Computation and Deductive Information Retrieval},
author = {Maarten H. van Emden},
year = {1977},
researchr = {https://researchr.org/publication/Emden77},
cites = {0},
citedby = {0},
pages = {421-440},
booktitle = {Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977},
editor = {Erich J. Neuhold},
publisher = {North-Holland},
isbn = {0-444-85107-0},
}