Languages polynomial in the input plus output (1992)

by J Cai, R Paige
Venue:Algebraic Methodology and Software Technology, Workshops in Computing