%0 Journal Article %1 journals/jlp/Foret92 %A Foret, Annie %D 1992 %J J. Log. Program. %K dblp %N 3&4 %P 281-298 %T Rewrite Rule Systems for Modal Propositional Logic. %U http://dblp.uni-trier.de/db/journals/jlp/jlp12.html#Foret92 %V 12

@article{journals/jlp/Foret92, added-at = {2021-02-17T00:00:00.000+0100}, author = {Foret, Annie}, biburl = {https://www.bibsonomy.org/bibtex/21ee8e86b5e3175aed56c791f9bab8064/dblp}, ee = {https://doi.org/10.1016/0743-1066(92)90028-2}, interhash = {491700a686f0a53ceeb701d8f80c3163}, intrahash = {1ee8e86b5e3175aed56c791f9bab8064}, journal = {J. Log. Program.}, keywords = {dblp}, number = {3&4}, pages = {281-298}, timestamp = {2024-04-08T10:50:21.000+0200}, title = {Rewrite Rule Systems for Modal Propositional Logic.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp12.html#Foret92}, volume = 12, year = 1992 }