Cenzer D.,Remmel J. ...


Cenzer D., Remmel J.
[2006]
On the complexity of inductive definitions
Math. Struc. Comp. Sci., 16, № 5, 763-788
BH08.11.105