Article,

Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring.

, and .
Acta Inf., 28 (4): 365-407 (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews