Zvi Galil Hierarchies of Complete Problems. 77-88 1976 6 Acta Inf. db/journals/acta/acta6.html#Galil76