"au:"T. A. ten Brummelaar"" — arXiv2 Search