A complete system of B-rational identities (1991)

by D Krob
Venue:Theor. Comput. Sci