A symbolic partial order reduction algorithm for rule based transition systems (2003)

by Ritwik Bhattacharya, Steven German, Ganesh Gopalakrishnan