Polynomial-time equivalence testing for deterministic fresh-register automata - Murawski, A; Ramsay, S; Tzevelekos, N (43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), 2018)