@inproceedings{69f282c5612641edb0ae609a2d1a32a9,
title = "Adding external decision procedures to HOL90 securely",
abstract = "This paper describes a modest conservative extension of HOL90 that allows the results from external decision procedures to be used within HOL90 without compromising its logical consistency.",
author = "Gunter, {Elsa L.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 1998 ; Conference date: 27-09-1998 Through 01-10-1998",
year = "1998",
doi = "10.1007/bfb0055134",
language = "English (US)",
isbn = "3540649875",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "143--152",
editor = "Jim Grundy and Malcolm Newey",
booktitle = "Theorem Proving in Higher Order Logics - 11th International Conference, TPHOLs 1998, Proceedings",
address = "Germany",
}