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