Return to Conference Proceedings Submission Details MaRDI Download Download PDF