TY - CONF A1 - Frank, Stephan A1 - Hofstedt, Petra T1 - CLFD: A Finite Domain Constraint Solver in Common Lisp Y1 - 2011 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/6076 ER -