On the Translation of Higher-Order Problems into First-Order Logic (1994)

Cached

Download Links

by Manfred Kerber , Manfred Kerber
Venue:Proceedings of ECAI-94
Citations:8 - 4 self