On Proving Limiting Completeness

Peter D. Mosses, Gordon D. Plotkin. On Proving Limiting Completeness. SIAM J. Comput., 16(1):179-194, 1987.

Abstract

Abstract is missing.