Title: Correct abstraction in counter-planning
Subjects: Compiling (Electronic computers), Chess, Knowledge acquisition (Expert systems), Computer programs