JGXYZ: An ATP System for Gap and Glut Logics.

Geoff Sutcliffe, Francis Jeffry Pelletier

Browse the full CADE paper archive.