"partial halting solver recognizer" - related articles and key terms