System Description: E-KRHyper.

Bjrn Pelzer, Christoph Wernhard

Browse the full CADE paper archive.