Michael Bulmer. Inductive Equational Reasoning. In Norman Y. Foo, Randy Goebel, editors, PRICAI 96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings. Volume 1114 of Lecture Notes in Computer Science, pages 13-22, Springer, 1996.
@inproceedings{Bulmer96,
title = {Inductive Equational Reasoning},
author = {Michael Bulmer},
year = {1996},
researchr = {https://researchr.org/publication/Bulmer96},
cites = {0},
citedby = {0},
pages = {13-22},
booktitle = {PRICAI 96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings},
editor = {Norman Y. Foo and Randy Goebel},
volume = {1114},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61532-6},
}