@inproceedings{DBLP:conf/lpar/GauthierK15,
author = {Thibault Gauthier and
Cezary Kaliszyk},
title = {Sharing {HOL4} and {HOL} Light Proof Knowledge},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
pages = {372--386},
year = {2015},
crossref = {DBLP:conf/lpar/2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_26},
doi = {10.1007/978-3-662-48899-7\_26},
timestamp = {Fri, 02 Nov 2018 09:44:58 +0100},
biburl = {https://dblp.org/rec/bib/conf/lpar/GauthierK15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2015,
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7},
doi = {10.1007/978-3-662-48899-7},
isbn = {978-3-662-48898-0},
timestamp = {Fri, 02 Nov 2018 09:44:58 +0100},
biburl = {https://dblp.org/rec/bib/conf/lpar/2015},
bibsource = {dblp computer science bibliography, https://dblp.org}
}