Enriching Prolog with S-Unification. - Andreas Kågedal; Feliks Kluzniak (Declarative Programming, 1991)

Improvements in Compile-Time Analysis for Ground Prolog. - Andreas Kågedal (PLILP, 1993)

A Dataflow Analysis Method for Ground Prolog. - Andreas Kågedal (ICLP, 1994)

Optimization of GAPLog Programs. - Fredrik Eklund; Andreas Kågedal (WLP, 1994)

Live-Structure Analysis for Logic Programming Languages with Declarations. - Maurice Bruynooghe; Gerda Janssens; Andreas Kågedal (ICLP, 1997)

A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. - Andreas Kågedal; Saumya K. Debray (ICLP, 1997)