The logic manual - Halbach, Volker; Author (2010)