Login / Signup

Nonclausal Deduction in First-Order Temporal Logic

Martín AbadiZohar Manna
Published in: J. ACM (1990)
Keyphrases