Eiter, et al.. A Uniform Integration of Higher-order Reasoning and External Evaluations in Answer-set Programming. 2005.