SAT-based Finite Model Generation for Higher-Order Logic (0)

by T Weber
Venue:Ph.D. thesis, Institut für Informatik, Technische Universität München, Germany (Apr 2008), http://www.cl.cam.ac.uk/~tw333/publications/weber08satbased.html ha l-0 0, v er sio n - 2 M ar