Alasdair Urquhart Resolution Proofs of Matching Principles. 241-250 2003 37 Ann. Math. Artif. Intell. 3 db/journals/amai/amai37.html#Urquhart03