Agustin A. Araya Sanjay Mittal Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics. 552-558 1987 conf/ijcai/1987 IJCAI db/conf/ijcai/ijcai87.html#ArayaM87