Artificial Intelligence in Theory and Practice II - Bramer, Max (Springer US, 2008)