Singularities of $Z$-acyclic normal surfaces of general type

We show that a homology plane of general type has at worst a single cyclic quotient singular point. An example of such a surface with a singular point does exist. We also show that the automorphism group of a smooth contractible surface of general type is cyclic. It is a joint work with R. Gurjar, M. Miyanishi and P. Russell.