GOALEM from Prague. - Bohuslav Kirchmann; Pavel Kopecky; Zdenek Zdráhal (IJCAI, 1977)