"Analysing Definitional Trees: Looking for Determinism."

Pascual Julián Iranzo, Christian Villamizar Lamus (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics