Marcus Kracht Splittings and the Finite Model Property. 139-157 1993 58 J. Symb. Log. 1 db/journals/jsyml/jsyml58.html#Kracht93