Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method". - Adrien Boiret; Radoslaw Piórkowski; Janusz Schmude (FSTTCS, 2018)

The "Hilbert Method" for Solving Transducer Equivalence Problems. - Adrien Boiret; Radoslaw Piórkowski; Janusz Schmude (CoRR, 2018)

Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers. - Mikolaj Bojanczyk; Janusz Schmude (MFCS, 2020)

On polynomial grammars extended with substitution. - Janusz Schmude (CoRR, 2021)