• bsgrub
• sgrub
• bsgrubs
• sgrubs

[translation-san] {MSA} upapatti-sādhana-yukti

[translation-eng] {Hopkins} reasoning which establishes correctness; reasonings of logical proof