Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis

Agostino Cortesi, Gilberto Fil, William H. Winsborough

Browse the full LICS paper archive.