On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4 - Καββαδίας, Δημήτρης; Σταυρόπουλος, Ηλίας Χ. (Computer Technology Institute, 1998)