Counterexample generation for higher-order logic using functional and logic programming - Bulwahn, Lukas (2013)