Annie Foret. Rewrite Rule Systems for Modal Propositional Logic. Journal of Logic and Algebraic Programming, 12(3&4):281-298, 1992.
@article{Foret92, title = {Rewrite Rule Systems for Modal Propositional Logic}, author = {Annie Foret}, year = {1992}, tags = {rule-based, modal logic, graph-rewriting, rules, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/Foret92}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {12}, number = {3&4}, pages = {281-298}, }