The Yinming zhengli men lun běn Nya^yamukha （Gateway to Logic）， by Digna^ga 陈那， translated by Xuanzang 玄奘 in 650 at Dacien Monastery. One fascicle， T 1628.32.1-6. One of Digna^ga's basic texts on Buddhist logic 因明， in which he articulates the basic principles. English translation in Tucci.