Michael__Codish
A semantic basis for the termination analysis of logic programs
An algebraic approach to sharing analysis of logic programs
Analysing Logic Programs using "prop"-ositional Logic Programs and a Magic Wand
Compositional Analysis of Modular Logic Programs
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop
Proving implications by algebraic approximation
Semantics-Based Program Analysis for Logic-Based Languages using XSB
Sharing and groundness dependencies in logic programs
Suspension Analyses for Concurrent Logic Programs
Type Dependencies for Logic Programs Using ACI-unification