Volker Weispfenning. Efficient Decision Procedures for Locally Finite Theories II. In Patrizia M. Gianni, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 88, Rome, Italy, July 4-8, 1988, Proceedings. Volume 358 of Lecture Notes in Computer Science, pages 390-401, Springer, 1988.
@inproceedings{Weispfenning88,
title = {Efficient Decision Procedures for Locally Finite Theories II},
author = {Volker Weispfenning},
year = {1988},
researchr = {https://researchr.org/publication/Weispfenning88},
cites = {0},
citedby = {0},
pages = {390-401},
booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 88, Rome, Italy, July 4-8, 1988, Proceedings},
editor = {Patrizia M. Gianni},
volume = {358},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-51084-2},
}