Peter Niebert Michaela Huhn Sarah Zennou Denis Lugiez Local First Search - A New Paradigm for Partial Order Reductions. 396-410 2001 conf/concur/2001 CONCUR http://dx.doi.org/10.1007/3-540-44685-0_27 db/conf/concur/concur2001.html#NiebertHZL01