The Interaction Between BIM-Prolog and Relational Databases. - Raf Venken; Anne Mulkers (Prolog and Databases, 1988)

The Impact of Abstract Interpretation: An Experiment in Code Generation. - André Mariën; Gerda Janssens; Anne Mulkers; Maurice Bruynooghe (ICLP, 1989)

Analysis of Shared Data Structures for Compile-Time Garbage. - Anne Mulkers; William H. Winsborough; Maurice Bruynooghe (ICLP, 1990)

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation - Anne Mulkers (Springer, 1993)

Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables. - Maurice Bruynooghe; Michael Codish; Anne Mulkers (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Live-Structure Dataflow Analysis for Prolog. - Anne Mulkers; William H. Winsborough; Maurice Bruynooghe (ACM Trans. Program. Lang. Syst., 1994)

Abstracting Unification: A Key Step in the Design of Logic Program Analyses. - Maurice Bruynooghe; Michael Codish; Anne Mulkers (Computer Science Today, 1995)

On the Practicality of Abstract Equation Systems. - Anne Mulkers; Wim Simoens; Gerda Janssens; Maurice Bruynooghe (ICLP, 1995)

Improving Abstract Interpretations by Combining Domains. - Michael Codish; Anne Mulkers; Maurice Bruynooghe; Maria J. García de la Banda; Manuel V. Hermenegildo (ACM Trans. Program. Lang. Syst., 1995)

A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. - Maurice Bruynooghe; Bart Demoen; Dmitri Boulanger; Marc Denecker; Anne Mulkers (SAS, 1996)