Citations:semi-algorithm

FST TCS 2001, Foundations of Software Technology and Theoretical Computer ... By Ramesh Hariharan, Madhavan Mukund, V. Vinay, page 157, foot note 1  "1By Semi-algorithm we mean a computational procedure that is not guaranteed to halt, but is guaranteed to give a correct answer in all cases in which it does halt."

The use & misuse of computers in education By Allan B. Ellis, Page 31  "An important fact about semi-algorithms is that they do not know when they are unable to arrive at a solution. When no solution exists, a semi-algorithm will either stop for the wrong reasons or more likely, search endlessly for a nonexistent solution."