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

by Manfred Kerber
Venue:Proceedings of the 11th ECAI