David B. Leake, Thomas Reichherzer: Knowledge-Based Computation. Wiley Encyclopedia of Computer Science and Engineering 2008