"au:"S. Plotkin"" — arXiv2 Search