On equal μ-terms

Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom. On equal μ-terms. Theoretical Computer Science, 412(28):3175-3202, 2011. [doi]

Abstract

Abstract is missing.