CITATION STYLE
Leitch, A. (1997). Resolution as Decision Procedure (pp. 211–252). https://doi.org/10.1007/978-3-642-60605-2_5
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley