Covering graphs by simple circuits (Mass. Inst. of Technology, Laboratory for Computer Science, 1980)