Masuch, J. M. F., Marx, M. J., & Polos, L. (1996). Arrow Logic and Multi-Modal Logic. (Studies in Logic, Language and Information book series). CSLI.
Marx, M. J., & Mikulas, S. (1995). A Technology for Obtaining Well-behaved and Strong Algebras of Relations. In A. Nieuwendijk (Ed.), Proceedings Accolade '94 Dutch Graduate School in Logic.
Marx, M. J. (1995). Interpolation, Modularization and Knowledge Representation. In Proceedings of NAIC (Nederlandse AI Conferentie), Rotterdam
Marx, M. J. (1995). Algebraic Relativization and Arrow Logic. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC dissertations Series.
Marx, M. J., & Nemeti, I. (1995). Taming Logic. Journal of Logic, Language and Information, (4), 207-226.
Marx, M. J., Mikulas, S., & Nemeti, I. (1995). Taming Logic. Journal of Logic, Language and Information, 4, 207-226.
