ML Anthology

Kerber, Manfred

1 publications

IJCAI 1991 How to Prove Higher Order Theorems in First Order Logic Manfred Kerber