The Causal Graph Revisited for Directed Model Checking.

Martin Wehrle, Malte Helmert

Browse the full SAS paper archive.