Preservation by fibring of the finite model property | OUP Journals & Magazine | IEEE Xplore