Michael Lebowitz UNIMEM, a General Learning System: An Overview. 25-35 1986 ECAI db/conf/ecai/ecai86.html#Lebowitz86