An Investigation of Non-Intermingling Principles in Temporal Logic

Antony Galton. An Investigation of Non-Intermingling Principles in Temporal Logic. Journal of Logic and Computation, 6(2):271-294, 1996.

Abstract

Abstract is missing.