Mitsunori Ogiwara Lane A. Hemachandra A Complexity Theory for Feasible Closure Properties. 295-325 1993 46 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss46.html#OgiwaraH93