MarĂa Alpuente, Santiago Escobar, Javier Espert. Detecting Modular ACU Structural Symmetries. In Konstantin Korovin, Barbara Morawska, editors, 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. Volume 19 of EPiC Series, pages 3-7, EasyChair, 2013. [doi]
Abstract is missing.