GLUE: Opening the World to Theorem Provers.

Gerd Neugebauer, Dorothea Schfer

Browse the full LPNMR paper archive.