publication:
Solving the word problem in real time (2001)
Author(s): Rees S; Holt DF
- Journal: Journal of the London Mathematical Society
- Volume: 63
- Issue: 3
- Pages: 623-639
- Publisher: Oxford University Press
- Publication type: Article
- Bibliographic status: Published