Richard J. Boulton, Konrad Slind. Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions. In John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey, editors, Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Volume 1861 of Lecture Notes in Computer Science, pages 629-643, Springer, 2000. [doi]
Abstract is missing.