Tractability: Practical Approaches to Hard Problems
Handbook of Practical Logic and Automated Reasoning
Design and Development of Training Games
