Nivelle. Automated proof construction in type theory using resolution (2002)

by Marc Bezem , Dimitri Hendriks
Venue:Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn
Citations:16 - 0 self