Peter Bachmann Thomas Drescher Sabine Nieke SPECI90: A Term Rewriting and Narrowing System. 619-620 1992 conf/stacs/1992 STACS db/conf/stacs/stacs92.html#BachmannDN92 http://dx.doi.org/10.1007/3-540-55210-3_224