A note on decision procedures for identities
A. K. AustinVolume:
9
Year:
1979
Language:
english
Pages:
6
Journal:
Algebra Universalis
DOI:
10.1007/bf02488026
File:
PDF, 233 KB
english, 1979