"Partial Order Infinitary Term Rewriting and Böhm Trees."

Patrick Bahr (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics