Richard Pikes. The role of truth maintenance in model-based reasoning (abstract only). In Pat Davis, Vicki McClintock, editors, Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987. pages 349, ACM, 1987. [doi]
@inproceedings{Pikes87,
title = {The role of truth maintenance in model-based reasoning (abstract only)},
author = {Richard Pikes},
year = {1987},
doi = {10.1145/322917.322974},
url = {http://doi.acm.org/10.1145/322917.322974},
tags = {rule-based, maintenance, object-role modeling},
researchr = {https://researchr.org/publication/Pikes87},
cites = {0},
citedby = {0},
pages = {349},
booktitle = {Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987},
editor = {Pat Davis and Vicki McClintock},
publisher = {ACM},
isbn = {0-89791-218-7},
}