Nyāyamukhaṭīkā by Nyāyamukhaṭīkākāra
Dharmakīrti relates in Pramāṇavārttika 4.27 his refutation of the view that the formulation of the thesis (pakṣa) is part of the proof, and in Pramāṇavārttika 4.122 his view that the reason in the inference acandraḥ śaśī sattvāt is uncommon (asādhāraṇa). Cf. Sastri 1946; Watanabe 渡辺 1976; Tillemans 1991. More in Iwata 1991 Appendix B.
Tillemans, Tom J. F. 2000. Dharmakīrti’s Pramāṇavārttika: An Annotated Translation of the Fourth Chapter (Parārthānumāna). Wien: Verlag der Österreichischen Akademie der Wissenschaften.