Inference Web in Action: Lightweight Use of Proof Markup Language

Citation