Translating Higher-Order Clauses to First-Order Clauses

by Jia Meng , Lawrence C. Paulson
Citations:26 - 2 self