Michael Lebowitz RESEARCHER: An Overview. 232-235 1983 AAAI db/conf/aaai/aaai83.html#Lebowitz83