Nicolas Peltier. Reasoning on Schemas of Formulas: An Automata-Based Approach. In Adrian Horia Dediu, Enrico Formenti, Carlos MartÃn-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Volume 8977 of Lecture Notes in Computer Science, pages 263-274, Springer, 2015. [doi]
Abstract is missing.