José Carlos Ferreira Maia Neves. A logic interpreter to handle time and negation in logic data bases. In Richard L. Muller, James J. Pottmyer, editors, Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984. pages 50-54, ACM, 1984. [doi]
@inproceedings{Neves84,
title = {A logic interpreter to handle time and negation in logic data bases},
author = {José Carlos Ferreira Maia Neves},
year = {1984},
doi = {10.1145/800171.809603},
url = {http://doi.acm.org/10.1145/800171.809603},
tags = {interpreter, logic},
researchr = {https://researchr.org/publication/Neves84},
cites = {0},
citedby = {0},
pages = {50-54},
booktitle = {Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984},
editor = {Richard L. Muller and James J. Pottmyer},
publisher = {ACM},
isbn = {0-89791-144-X},
}