@inproceedings{c0d645466de543b9b3237a5f5aeacee7,
title = "Triangulation in rewriting",
abstract = "We introduce a process, dubbed triangulation, turning any rewrite relation into a confluent one. It is more direct than usual completion, in the sense that objects connected by a peak are directly related rather than their normal forms. We investigate conditions under which this process preserves desirable properties such as termination.",
author = "{Oostrom, van}, V. and H. Zantema",
year = "2012",
language = "English",
isbn = "978-3-939897-38-5",
series = "LIPIcs: Leibniz International Proceedings in Informatics",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
pages = "240--255",
editor = "A. Tiwari",
booktitle = "23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012)",
note = "conference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02 ; Conference date: 28-05-2012 Through 02-06-2012",
}