Media type: E-Article Title: Logic-Based Program Synthesis and Transformation: Generation of Rule-Based Constraint Solvers: Combined Approach Contributor: Abdennadher, Slim; Sobhi, Ingi Published: Springer Berlin Heidelberg, 2008 Published in: Logic-Based Program Synthesis and Transformation (2008), Seite 106-120 Language: Not determined DOI: 10.1007/978-3-540-78769-3_8 ISBN: 9783540787686; 9783540787693 ISSN: 0302-9743; 1611-3349 Origination: Footnote: