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

by T Weber