KiCS2: A New Compiler from Curry to Haskell. - Bernd Braßel; Michael Hanus; Björn Peemöller; Fabian Reck 002 (WFLP, 2011)

Search strategies for functional logic programming. - Michael Hanus; Björn Peemöller; Fabian Reck 002 (Software Engineering (Workshops), 2012)

Implementing Equational Constraints in a Functional Language. - Bernd Braßel; Michael Hanus; Björn Peemöller; Fabian Reck 002 (PADL, 2013)

Integration of Finite Domain Constraints in KiCS2. - Michael Hanus; Björn Peemöller; Jan Rasmus Tikovsky (Software Engineering (Workshops), 2014)

A Partial Evaluator for Curry. - Michael Hanus; Björn Peemöller (WLP/WFLP, 2014)

Normalization and Partial Evaluation of Functional Logic Programs. - Björn Peemöller (2017)