Anthony Rich, Marvin H. Solomon. A Logic-Based Approach to System Modelling. In SCM. pages 84-93, 1991. [doi]
@inproceedings{RichS91,
title = {A Logic-Based Approach to System Modelling},
author = {Anthony Rich and Marvin H. Solomon},
year = {1991},
doi = {10.1145/111062.111073},
url = {http://doi.acm.org/10.1145/111062.111073},
tags = {rule-based, logic, systematic-approach},
researchr = {https://researchr.org/publication/RichS91},
cites = {0},
citedby = {0},
pages = {84-93},
booktitle = {SCM},
}