Proceedings of the 1993 International Workshop on the HOL theorem proving system and its applications, Vancouver. Springer LNCS 780, pp. 426-436, 1993.
NB! This paper is preliminary, and will be superseded by a chapter of the author's forthcoming PhD thesis.
@INPROCEEDINGS{harrison-hol93, crossref = "hol93", author = "John Harrison", title = "A {HOL} Decision Procedure for Elementary Real Algebra", pages = "426--436"} @PROCEEDINGS{hol93, editor = "Jeffrey J. Joyce and Carl Seger", booktitle = "Proceedings of the 1993 International Workshop on the {HOL} theorem proving system and its applications", series = "Lecture Notes in Computer Science", volume = 780, address = "UBC, Vancouver, Canada", date = "August 1993", year = 1993, publisher = "Springer-Verlag"}