Decomposition of Declarative Knowledge Bases with External Functions

Open in new window