Login / Signup

Adding Metatheoretic Facilities to First-Order Theories.

David A. BasinSeán Matthews
Published in: J. Log. Comput. (1996)
Keyphrases