Book

On the explanation of rule reordering

by Daniel A. Dinnsen