Christophe Ringeissen, Valerio Senni. Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. In Martin Giese, Roman Kuznets, editors, TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011. Volume IAM-11-002 of Technical Report, pages 64-65, 2011.
Abstract is missing.