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

by T Weber
Venue:PhD thesis, Institut für Informatik, Technische Universität