Login / Signup

A Model Elimination Calculus with Built-in Theories.

Peter Baumgartner
Published in: GWAI (1992)
Keyphrases