TkWinHOL: A tool for window inference (1995)

by T Langbacka, R Ruksenas, J von Wright
Venue:in HOL. Higher Order Logic Theorem Proving and its Applications: 8th International Workshop, 971:245--260