ML-1993-07: Chagrov, A.V. and Chagrova, L.A. (1993) Algorithmic Problems Concerning First-Order Definability of Modal Formulas on the Class of All Finite Frames. [Report]