Run-time debugging for functional logic languages. - Parisa Haj Sadeghi (2009)