Sign in
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis
Agostino Cortesi
Gilberto Filé
William H. Winsborough
Published in:
LICS (1991)
Keyphrases
</>
artificial intelligence
special case