## Using Decision Procedures With a Higher-Order Logic (2001)

by
Natarajan Shankar

Venue: | In Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 |

Citations: | 8 - 2 self |