"The solvability of the equivalence problem for deterministic ..."

Z. Zachar (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics