M. Baaz, C. Fermüller, A. Gil, G. Salzer, N. Preining: "MUltlog and MUltseq reanimated and married"; in: "Proceedings of the 4th Workshop on the Implementation of Logics", B. Konev, R. Schmidt (ed.); University of Liverpool, 2003, 5 pages.