MONA(1) - manual page | User commands

A decision procedure for the logics WS1S and WS2S.