1. Andréka, H., Givant, S. and Németi, I., 1994a, ?Decision problems for equational theories of relation algebras?. Manuscript, Mills College, Oakland, Jan 1992, extended abstract, Bull. Sec. of Logic (Univ. of Lodz), 23(2), 47?52.
2. Andréka, H., Givant, S. and Németi, J., 1994b, Undecidable equational theories of relation algebras, (submitted).
3. Andréka, H., Kurucz, á., Németi, I., Sain, I. and Simon, A., 1994c, ?Exactly which logics touched by the dynamic trend are decidable?,? pp. 67?85 inProceedings of the 9th Amsterdam Colloquium, Amsterdam.
4. Andréka, H., Kurucz, á., Németi, I. and Sain, I., 1994d, ?Applying algebraic logic; A general methodology?, to appear in ?Algebraic Logic and the Methodology of Applying It?, Proc. Summer School in Budapest (H. Andréka, I. Németi and I. Sain., eds), 72 pp., A shortened version appeared as Applying Algebraic Logic to Logic in ?Algebraic Methodology and Software Technology (AMAST'93)?, (M. Nivat, C. Rattray, T. Rus and G. Scollo, eds), pp. 7?28 in series Workshops in Computing, Springer-Verlag, 1994.
5. Andréka, H., Mikulás, Sz. and Németi, I., 1994e,You can decide differently: deciding relativized representable relation algebras with graded modalities, (preprint). Budapest: Math. Inst. Hung. Acad. Sci.