Complete systems of B-rational identities (0)

by D Krob
Venue:Theoretical Computer Science