Some thoughts about FOL-translations in Vampire
Author: Giles Reger
Paper Information
| Title: | Some thoughts about FOL-translations in Vampire |
| Authors: | Giles Reger |
| Proceedings: | ARQNL Full papers, demo papers and invited contributions |
| Editors: | Christoph Benzmüller and Jens Otten |
| Keywords: | |
| Abstract: | |
| Pages: | 1 |
| Paper: |  |