Halting predicate

From Free net encyclopedia