Bhatta chintamani ed by Ramakrishna Sastri - Gaga Bhatta (Chowkhamba Sanskrit series, 25, 1900)