"A formal model and efficient traversal algorithm for generating ..."

David W. Matula, Lee D. McFearin (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics