Guarded Expressions in Practice

Andreas Dolzmann, Thomas Sturm. Guarded Expressions in Practice. In ISSAC. pages 376-383, 1997.

Abstract

Abstract is missing.