Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy. Reasoning About Assumptions in Graphs of Models. In IJCAI. pages 1432-1438, 1989.
@inproceedings{AddankiCP89a,
title = {Reasoning About Assumptions in Graphs of Models},
author = {Sanjaya Addanki and Roberto Cremonini and J. Scott Penberthy},
year = {1989},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/AddankiCP89a},
cites = {0},
citedby = {0},
pages = {1432-1438},
booktitle = {IJCAI},
}