SCL(EQ): SCL for First-Order Logic with Equality.

Hendrik Leidinger, Christoph Weidenbach

Browse the full CADE paper archive.