A complete and decidable proof system for call-by-value equalities (1990)

by J G Riecke
Venue:In 17th International Colloquium on Automata, Languages and Programming. Springer Verlag LNCS 443