Robert Balzer Search for a Solution: A Case Study. 21-32 1969 IJCAI db/conf/ijcai/ijcai69.html#Balzer69