%0 Journal Article %1 journals/eceasst/BottoniHP06 %A Bottoni, Paolo %A Hoffmann, Kathrin %A Parisi-Presicce, Francesco %D 2006 %J ECEASST %K %T Termination of Algebraic Rewriting with Inhibitors. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst4.html#BottoniHP06 %V 4

@article{journals/eceasst/BottoniHP06, added-at = {2023-12-12T19:24:26.000+0100}, author = {Bottoni, Paolo and Hoffmann, Kathrin and Parisi-Presicce, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/23fb4d4151c53854677304ae0b007f623/admin}, ee = {https://doi.org/10.14279/tuj.eceasst.4.15}, interhash = {203ee88eb7dbd29ad06bffeb1bcc5b14}, intrahash = {3fb4d4151c53854677304ae0b007f623}, journal = {ECEASST}, keywords = {}, timestamp = {2023-12-12T19:24:26.000+0100}, title = {Termination of Algebraic Rewriting with Inhibitors.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst4.html#BottoniHP06}, volume = 4, year = 2006 }