Jeffrey Frank Naughton
-
Minimizing function-free recursive inference rules
Journal of the ACM (JACM)