Marc Bezem, Dimitri Hendriks, Hans de Nivelle. Automated Proof Construction in Type Theory Using Resolution. Journal of Automated Reasoning, 29(3-4):253-275, 2002.
@article{BezemHN02,
title = {Automated Proof Construction in Type Theory Using Resolution},
author = {Marc Bezem and Dimitri Hendriks and Hans de Nivelle},
year = {2002},
tags = {type theory},
researchr = {https://researchr.org/publication/BezemHN02},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {29},
number = {3-4},
pages = {253-275},
}