Richard M. Keller Defining Operationality for Explanation-Based Learning. 227-241 1988 35 Artif. Intell. 2 db/journals/ai/ai35.html#Keller88