Hudson Turner Strong equivalence made easy: nested expressions and weight constraints. 609-622 2003 3 TPLP 4-5 db/journals/tplp/tplp3.html#Turner03