Tie-Cheng Wang
Tie-Cheng Wang.
Z-module reasoning: An equality-oriented proving method with built-in ring axioms.
Journal of the ACM
, 40(3):558-606, July 1993.
References.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database