Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini. Counting Techniques for Inclusion, Equivalence and Membership Problems. In Volker Diekert, Grzegorz Rozenberg, editors, The Book of Traces. pages 131-163, World Scientific, 1995. [doi]
Abstract is missing.