EasyChair Smart Slide
MDD-Based Constraint Programming in Haddock
MDD-Based Constraint Programming in Haddock