| Authors | J. E. Hannay |
| Title | Abstraction Barriers in Equational Proof |
| Status | Published |
| Publication Type | Proceedings, refereed |
| Year of Publication | 1998 |
| Conference Name | Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548 |
| Pagination | 196-213 |
| Publisher | Springer-Verlag |
| Citation Key | SE.5.Hannay.1998 |
By thinking constantly about it…