Eunsuk Kang, Mark Aagaard. Improving the Usability of HOL Through Controlled Automation Tactics. In Klaus Schneider, Jens Brandt, editors, Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. Volume 4732 of Lecture Notes in Computer Science, pages 157-172, Springer, 2007. [doi]
@inproceedings{KangA07,
title = {Improving the Usability of HOL Through Controlled Automation Tactics},
author = {Eunsuk Kang and Mark Aagaard},
year = {2007},
doi = {10.1007/978-3-540-74591-4_13},
url = {http://dx.doi.org/10.1007/978-3-540-74591-4_13},
researchr = {https://researchr.org/publication/KangA07},
cites = {0},
citedby = {0},
pages = {157-172},
booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
editor = {Klaus Schneider and Jens Brandt},
volume = {4732},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-74590-7},
}