Charles Rich. The Layered Architecture of a System for Reasoning about Programs. In IJCAI. pages 540-546, 1985.
@inproceedings{Rich85:0, title = {The Layered Architecture of a System for Reasoning about Programs}, author = {Charles Rich}, year = {1985}, tags = {architecture}, researchr = {https://researchr.org/publication/Rich85%3A0}, cites = {0}, citedby = {0}, pages = {540-546}, booktitle = {IJCAI}, }