Klaus Hülsmann Gunter Saake Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring. 365-407 1991 28 Acta Inf. 4 db/journals/acta/acta28.html#HulsmannS91