Annie Foret
Rewrite Rule Systems for Modal Propositional Logic
PPDP, 1988.
@inproceedings{ALP-1988-Foret, author = "Annie Foret", booktitle = "{Proceedings of the First International Workshop on Algebraic and Logic Programming}", doi = "10.1007/3-540-50667-5_66", isbn = "3-540-50667-5", pages = "147--156", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Rewrite Rule Systems for Modal Propositional Logic}", volume = 343, year = 1988, }