Flemming Nielson

Stratified Datalog and Program Analysis

by Anders Schlichtkrull, René Rydhof Hansen and Flemming Nielson