Man Pages in mona

Section 1: Executable programs or shell commands

mona.1

A decision procedure for the logics ws1s and ws2s