Independence of the equational axioms for iteration theories (1988)

by Z Ésik
Venue:J. Comput. System Sci