[2]

Gerhard Groger and Lutz Plumer, Handling of mutual recursion in automatic termination proofs for logic programs. In K. Apt, editor, The Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 336–350. MIT Press, 1992.