Return to Article Details Learning First-Order Definitions of Functions Download Download PDF