Regular trees and the free iterative theory (1979)

by S Ginali
Venue:J. Comput. Syst. Sci