David R. Musser, Deepak Kapur. Rewrite Rule Theory and Abstract Data Type Analysis. In Jacques Calmet, editor, Computer Algebra, EUROCAM 82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings. Volume 144 of Lecture Notes in Computer Science, pages 77-90, Springer, 1982.
@inproceedings{MusserK82, title = {Rewrite Rule Theory and Abstract Data Type Analysis}, author = {David R. Musser and Deepak Kapur}, year = {1982}, tags = {rule-based, analysis, data-flow, graph-rewriting, rules, type theory, rewriting, data-flow analysis}, researchr = {https://researchr.org/publication/MusserK82}, cites = {0}, citedby = {0}, pages = {77-90}, booktitle = {Computer Algebra, EUROCAM 82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings}, editor = {Jacques Calmet}, volume = {144}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-11607-9}, }