Stem rrl$ (all stems)

5 papers:

CADE-1992-HuaZ #induction #named

FRI: Failure-Resistant Induction in RRL (XH, HZ), pp. 691–695.

CADE-1992-Zhang #named #performance

Herky: High Performance Rewriting in RRL (HZ), pp. 696–700.

RTA-1989-KapurZ #bibliography

An Overview of Rewrite Rule Laboratory (RRL) (DK, HZ), pp. 559–563.

CADE-1988-KapurZ #named

RRL: A Rewrite Rule Laboratory (DK, HZ), pp. 768–769.

CADE-1986-KapurSZ #named

RRL: A Rewrite Rule Laboratory (DK, GS, HZ), pp. 691–692.