Guo-Qiang Zhang 233-263 Inf. Comput. April 1994 110 1 db/journals/iandc/iandc110.html#Zhang94