Maribel Fernández, Albert Rubio. Nominal Completion for Rewrite Systems with Binders. In Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, Roger Wattenhofer, editors, Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Volume 7392 of Lecture Notes in Computer Science, pages 201-213, Springer, 2012. [doi]
@inproceedings{FernandezR12, title = {Nominal Completion for Rewrite Systems with Binders}, author = {Maribel Fernández and Albert Rubio}, year = {2012}, doi = {10.1007/978-3-642-31585-5_21}, url = {http://dx.doi.org/10.1007/978-3-642-31585-5_21}, researchr = {https://researchr.org/publication/FernandezR12}, cites = {0}, citedby = {0}, pages = {201-213}, booktitle = {Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II}, editor = {Artur Czumaj and Kurt Mehlhorn and Andrew M. Pitts and Roger Wattenhofer}, volume = {7392}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-31584-8}, }