Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi. Knowledge-Based Programs. In PODC. pages 153-163, 1995.
@inproceedings{FaginHMV95, title = {Knowledge-Based Programs}, author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi}, year = {1995}, tags = {rule-based}, researchr = {https://researchr.org/publication/FaginHMV95}, cites = {0}, citedby = {0}, pages = {153-163}, booktitle = {PODC}, }