A homology plane of general type can have at most a cyclic quotient singularity - R. V. Gurjar; M. Koras; M. Miyanishi; P. Russell (2010)