Pavol Duris Zvi Galil Georg Schnitger 1-22 Inf. Comput. April 1987 73 1 db/journals/iandc/iandc73.html#DurisGS87