Ringeissen, Christophe and Senni, Valerio Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. In: Frontiers of Combining Systems : Title Frontiers of Combining Systems : Proceedings of the 8th International Symposium, FroCoS 2011. Lecture Notes in Computer Science (6989). Springer, pp. 211-226. ISBN 978-3-642-24363-9 (2011)