Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints. - Udo W. Lipeck; Dasu Feng (WG, 1988)