Esben Rune Hansen Henrik Reif Andersen Interactive Configuration with Regular String Constraints. 217-223 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#HansenA07