Robert B. Terwilliger, Roy H. Campbell. PLEASE: Predictable Logic based ExecutAble SpeCifications. In Lawrence A. Jehn, Larry A. Crum, editors, Proceedings of the 14th ACM Annual Conference on Computer Science, Cincinnati, Ohio, USA, 1986. pages 349-358, ACM, 1986. [doi]
@inproceedings{TerwilligerC86,
title = {PLEASE: Predictable Logic based ExecutAble SpeCifications},
author = {Robert B. Terwilliger and Roy H. Campbell},
year = {1986},
doi = {10.1145/324634.325453},
url = {http://doi.acm.org/10.1145/324634.325453},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/TerwilligerC86},
cites = {0},
citedby = {0},
pages = {349-358},
booktitle = {Proceedings of the 14th ACM Annual Conference on Computer Science, Cincinnati, Ohio, USA, 1986},
editor = {Lawrence A. Jehn and Larry A. Crum},
publisher = {ACM},
isbn = {0-89791-177-6},
}