Jakob Rath: Subsumption Demodulation in First-Order Theorem Proving (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-14

Authors: Bernhard Gleiss, Laura Kovacs, and Jakob Rath

Aired: 2020-02-01 13:00:00 CEST (UTC+2)