J. Vender and T. Suchan, “QSR NUD*IST and ATLAS/ti”, CP, no. 31, pp. 37–40, Sep. 1998.