Mechanical verification of total correctness through diversion verification conditions (1998)

by Peter V Homeier, David F Martin
Venue:Theorem Proving in Higher Order Logics (TPHOLs’98), volume 1479 of Lect. Notes in Comp. Sci