Title: Nyāyabinduṭīkā
People: Dharmakīrti (active 7th century)