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. (1995). Interpolation, Modularization and Knowledge Representation. In Proceedings of NAIC (Nederlandse AI Conferentie), Rotterdam
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., & Nemeti, I. (1995). Taming Logic. Journal of Logic, Language and Information, (4), 207-226.
Marx, M. J. (1995). Algebraic Relativization and Arrow Logic. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC dissertations Series.
Marx, M. J., Mikulas, S., & Nemeti, I. (1995). Taming Logic. Journal of Logic, Language and Information, 4, 207-226.
