Login / Signup

Connection Tableaux with Lazy Paramodulation.

Andrey Paskevich
Published in: J. Autom. Reason. (2008)
Keyphrases