"Complexity issues for Preorders on finite labeled forests."

Peter Hertling, Victor L. Selivanov (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics