@article{cdiff-JCS10,
author    = {Sebastian M{\"o}dersheim and
             Luca Vigan{\`o} and
             David A. Basin},
title     = {Constraint differentiation: Search-space reduction for the
             constraint-based analysis of security protocols},
journal   = {Journal of Computer Security},
volume    = {18},
number    = {4},
year      = {2010},
pages     = {575--618}
}