Uwe Schoning

• Logic for Computer Scientists (Progress in Computer Science)
• Unified Analytical Foundation for Constraint Handling Rules