Thomas Eiter Michael Fink Thomas Krennwallner Decomposition of Declarative Knowledge Bases with External Functions. 752-758 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-130.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#EiterFK09