"au:"Jobst Heitzig"" — arXiv2 Search