TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems. - Kazuhiro Ogata 001; Koichi Ohhara; Kokichi Futatsugi (RTA, 1997)