Mode Analysis of Functional Logic Programs - Michael Hanus; Frank Zartmann (SAS, 1994)

Denotational Abstract Interpretation of Functional Logic Programs. - Frank Zartmann (SAS, 1997)

Denotationelle Analysen funktional-logischer Programme. - Frank Zartmann (1999)