Matching Trace Patterns with Regular Policies.

Franz Baader, Andreas Bauer, Alwen Tiu

Browse the full LATA paper archive.