_id,doi,title
4599,10.1023/A:1008767206905,Partial-order reduction in symbolic state-space exploration