Talks and Poster Presentations (with Proceedings-Entry):
M. Baaz, C. Fermüller, A Gil, N Preining, G. Salzer:
"MUltlog and MUltseq Reanimated and Married";
Talk: 4th International Workshop on the Implementation of Logics,
2003-09-26; in: "Proc. of the 4th International Workshop on the Implementation of Logics",
Online library catalogue of the TU Vienna:
Created from the Publication Database of the Vienna University of Technology.