Automatic incrementalization of prolog based static analyses (2007)

by Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann
Venue:Practical Aspects of Declarative Languages, volume 4354 of LNCS