author : Michael Codish

Short works

• Using safe approximations of fixed points for analysis of logic programs. 1989. (In Meta-Programming in Logic Programming )