(1)
Vender, J.; Suchan, T. QSR NUD*IST and ATLAS/Ti. CP 1998, 37-40.