Vol-191⫷ Vol-192 ⫸Vol-193
urn:nbn:de:0074-192-0


Vol-192/paper-4⫷Vol-192/paper-5⫸Vol-192/paper-6

Translating Higher-Order Problems to First-Order Clauses