Lee, J.-L. (2008). Classical model existence and left resolution. Logic and Logical Philosophy, 16(4), 323–352. https://doi.org/10.12775/LLP.2007.011