"On solving cycle-free context-free grammar equivalence problem using ..."

José João Almeida, Eliana Grande, Georgi Smirnov (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics