Ke Wang, Weining Zhang, Siu-Cheung Chau. Minimize Linear Mutual Recursion by Rule Unfolding. In Osman Abou-Rabia, Carl K. Chang, Waldemar W. Koczkodaj, editors, Computing and Information - ICCI 93, Fifth International Conference on Computing and Information, Sudbury, Ontario, Canada, May 27-29, 1993, Proceedings. pages 98-102, IEEE Computer Society, 1993.
@inproceedings{WangZC93, title = {Minimize Linear Mutual Recursion by Rule Unfolding}, author = {Ke Wang and Weining Zhang and Siu-Cheung Chau}, year = {1993}, tags = {rule-based, rules}, researchr = {https://researchr.org/publication/WangZC93}, cites = {0}, citedby = {0}, pages = {98-102}, booktitle = {Computing and Information - ICCI 93, Fifth International Conference on Computing and Information, Sudbury, Ontario, Canada, May 27-29, 1993, Proceedings}, editor = {Osman Abou-Rabia and Carl K. Chang and Waldemar W. Koczkodaj}, publisher = {IEEE Computer Society}, isbn = {0-8186-4212-2}, }