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