Automated Proof Construction in Type Theory Using Resolution.

Marc Bezem, Dimitri Hendriks, Hans de Nivelle

Browse the full CADE paper archive.