Newman's lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column

M. Bezem,T. Coquand
DOI: https://doi.org/10.1142/9789812562494_0050
Abstract:
What problem does this paper attempt to address?