SPECI90: A Term Rewriting and Narrowing System. - Peter Bachmann; Thomas Drescher; Sabine Nieke (STACS, 1992)