@incollection{MO13,
    year={2013},
    isbn={978-3-642-39273-3},
    booktitle={Implementation and Application of Automata},
    volume={7982},
    series={Lecture Notes in Computer Science},
    editor={Konstantinidis, Stavros},
    doi={10.1007/978-3-642-39274-0_23},
    title={Lambda-Confluence Is Undecidable for Clearing Restarting Automata},
    url={http://dx.doi.org/10.1007/978-3-642-39274-0_23},
    publisher={Springer Berlin Heidelberg},
    keywords={Clearing restarting automaton; limited context restarting automaton; factor-erasing string-rewriting system; lambda-confluence},
    author={Mráz, František and Otto, Friedrich},
    pages={256-267}
}