"au:"Gavin B. G. Stenning"" — arXiv2 Search