Minimize Linear Mutual Recursion by Rule Unfolding.

Ke Wang, Weining Zhang, Siu-Cheung Chau

Browse the full ICCI paper archive.