Takao Asano Tomio Hirata Edge-Contraction Problems. 197-208 1983 26 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss26.html#AsanoH83