"au:"Theo ten Brummelaar"" — arXiv2 Search