Some Thoughts About FOL-Translations in Vampire.

Giles Reger

Browse the full CADE paper archive.