Elaine Kant Understanding and Automating Algorithm Design. 1243-1253 1985 IJCAI db/conf/ijcai/ijcai85.html#Kant85