Oostrom V., Context-sensitive conditional expression reduction systems (1995)

by Z Khasidashvili, van
Venue:In Proc. of the International Workshop on Graph Rewriting and Computation, SEGRAGRA'95