Nikolai Kosmatov Constraint Solving for Sequences in Software Validation and Verification. 25-37 2005 conf/inap/2005 INAP http://dx.doi.org/10.1007/11963578_3 db/conf/inap/inap2005.html#Kosmatov05