NL Formulations
LSP Formalization
NP<class> have NP<class>
Reusable JAPE code: OP_DP_PW_1.jape
Abbreviation and symbols