Denotational Abstract Interpretation of Functional Logic Programs.

Frank Zartmann Denotational Abstract Interpretation of Functional Logic Programs. 141-159 1997 conf/sas/1997 SAS db/conf/sas/sas97.html#Zartmann97