Rule Systems and Well-Orderings.

Published in: Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)