Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift - Paule, Peter (Springer International Publishing : Imprint: Springer, 2013)