%0 Conference Paper %1 conf/rta/AotoYT09 %A Aoto, Takahito %A Yoshida, Junichi %A Toyama, Yoshihito %B RTA %D 2009 %E Treinen, Ralf %I Springer %K dblp %P 93-102 %T Proving Confluence of Term Rewriting Systems Automatically. %U http://dblp.uni-trier.de/db/conf/rta/rta2009.html#AotoYT09 %V 5595 %@ 978-3-642-02347-7

@inproceedings{conf/rta/AotoYT09, added-at = {2017-05-22T00:00:00.000+0200}, author = {Aoto, Takahito and Yoshida, Junichi and Toyama, Yoshihito}, biburl = {https://www.bibsonomy.org/bibtex/220ee6069daeb2c8c01467c5a66ed3d1b/dblp}, booktitle = {RTA}, crossref = {conf/rta/2009}, editor = {Treinen, Ralf}, ee = {https://doi.org/10.1007/978-3-642-02348-4_7}, interhash = {80eb8f553fec3f36d6d7d2d89dadb0cc}, intrahash = {20ee6069daeb2c8c01467c5a66ed3d1b}, isbn = {978-3-642-02347-7}, keywords = {dblp}, pages = {93-102}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:18:28.000+0200}, title = {Proving Confluence of Term Rewriting Systems Automatically.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2009.html#AotoYT09}, volume = 5595, year = 2009 }