Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring (1991)

by H ulsmann, K, G Saake
Venue:Acta Informatica