DOI,IST REx ID,Title of publication
10.1023/A:1008767206905,4599,Partial-order reduction in symbolic state-space exploration