Reasoning about recurrence

Johannes A. G. M. Koomen
1991 International Journal of Intelligent Systems  
doi:10.1002/int.4550060503 fatcat:6k4zhvw5tjb5jk7iq3g7y3rvvi