CDCL Grammar Specification

EBNF (Extended Backus-Naur Form)

WIJIS formally specifies the non-trivial components of CDCL Authoring Form grammar in an Extended Backus-Naur Form production of a rulesheet. This is in an OpenDocument file format suitable to be viewed in OpenOffice.