"au:"Vasilii V. Petrenko"" — arXiv2 Search