Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring

Klaus Hülsmann, Gunter Saake. Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring. Acta Informatica, 28(4):365-407, 1991.

Abstract

Abstract is missing.