"Ordering Constraints over Feature Trees Expressed in Second-Order Monadic ..."

Martin Müller, Joachim Niehren (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics