Functional procedures in higher-order logic (1999)

by L Laibinis, J von Wright
Venue:Theorem Proving in Higher Order Logics, volume 1896 of Lect. Notes in Comp. Sci