%0 Journal Article %1 journals/jar/Comon-LundhM12 %A Comon-Lundh, Hubert %A Meadows, Catherine %D 2012 %J J. Autom. Reason. %K dblp %N 2 %P 133-134 %T Special Issue on Security and Rewriting Foreword. %U http://dblp.uni-trier.de/db/journals/jar/jar48.html#Comon-LundhM12 %V 48

@article{journals/jar/Comon-LundhM12, added-at = {2023-09-19T00:00:00.000+0200}, author = {Comon-Lundh, Hubert and Meadows, Catherine}, biburl = {https://www.bibsonomy.org/bibtex/233f32f160d03bf142adb71df820b02c2/dblp}, ee = {https://doi.org/10.1007/s10817-011-9242-1}, interhash = {6c27de04a0b4899485928435c7add5ae}, intrahash = {33f32f160d03bf142adb71df820b02c2}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {133-134}, timestamp = {2024-04-09T05:03:01.000+0200}, title = {Special Issue on Security and Rewriting Foreword.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar48.html#Comon-LundhM12}, volume = 48, year = 2012 }