Termination by Completion

Françoise Bellegarde, Pierre Lescanne. Termination by Completion. Appl. Algebra Eng. Commun. Comput., 1:79-96, 1990.

Abstract

Abstract is missing.