Alan Bundy, Bob Welham
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation
CADE, 1980.
@inproceedings{CADE-1980-BundyW,
author = "Alan Bundy and Bob Welham",
booktitle = "{Proceedings of the Fifth International Conference on Automated Deduction}",
doi = "10.1007/3-540-10009-1_3",
isbn = "3-540-10009-1",
pages = "24--38",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation}",
volume = 87,
year = 1980,
}