Alasdair Urquhart, Yves Crama, Peter L. Hammer. Proof Theory. In Yves Crama, Peter L. Hammer, editors, Boolean Models and Methods in Mathematics, Computer Science, and Engineering. pages 79-98, Cambridge University Press, 2010. [doi]
Abstract is missing.