Very efficient conversions

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_75 ◽

1995 ◽

pp. 340-352 ◽

Author(s):

Morten Welinder

Download Full-text