Fundamental Algorithms for a Declarative Pattern Matching System, Report 95-03, Technische Fakult.at der Universit. at (1995)

by S Kurtz