A Note on Guarded Theories

Stephen L. Bloom. A Note on Guarded Theories. Theoretical Computer Science, 70(1):73-83, 1990.

Abstract

Abstract is missing.