Michael Codish

Partial deduction of logic programs wrt well-founded semantics

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Specialisation of Prolog and FCP programs using abstract interpretation