SCOTT: Semantically Constrained Otter System Description.

John K. Slaney, Ewing L. Lusk, William McCune

Browse the full CADE paper archive.