On the translation of higher-order problems into first-order logic (1994)

by M Kerber
Venue:in Tony Cohn Ed., Proceedings of ECAI-94