"au:"Arthur Ouaknine"" — arXiv2 Search