Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright. TkWinHOL: A Tool for Window Inference in HOL. In E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss, editors, Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings. Volume 971 of Lecture Notes in Computer Science, pages 245-260, Springer, 1995.
@inproceedings{LangbackaRW95,
title = {TkWinHOL: A Tool for Window Inference in HOL},
author = {Thomas Långbacka and Rimvydas Ruksenas and Joakim von Wright},
year = {1995},
researchr = {https://researchr.org/publication/LangbackaRW95},
cites = {0},
citedby = {0},
pages = {245-260},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
editor = {E. Thomas Schubert and Phillip J. Windley and Jim Alves-Foss},
volume = {971},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60275-5},
}