%0 Conference Paper %1 conf/alp/Foret88 %A Foret, Annie %B ALP %D 1988 %E Grabowski, Jan %E Lescanne, Pierre %E Wechler, Wolfgang %I Springer %K dblp %P 147-156 %T Rewrite Rule Systems for Modal Propositional Logic. %U http://dblp.uni-trier.de/db/conf/alp/alp88.html#Foret88 %V 343 %@ 3-540-50667-5

@inproceedings{conf/alp/Foret88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Foret, Annie}, biburl = {https://www.bibsonomy.org/bibtex/26cc6f831b78cdad12ba4c65fd58b13d5/dblp}, booktitle = {ALP}, crossref = {conf/alp/1988}, editor = {Grabowski, Jan and Lescanne, Pierre and Wechler, Wolfgang}, ee = {https://doi.org/10.1007/3-540-50667-5_66}, interhash = {c5d2e937c26362b64c3d016028269f25}, intrahash = {6cc6f831b78cdad12ba4c65fd58b13d5}, isbn = {3-540-50667-5}, keywords = {dblp}, pages = {147-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:44:33.000+0200}, title = {Rewrite Rule Systems for Modal Propositional Logic.}, url = {http://dblp.uni-trier.de/db/conf/alp/alp88.html#Foret88}, volume = 343, year = 1988 }