Virgile Mogbil Quadratic Correctness Criterion for Non-commutative Logic. 69-83 2001 conf/csl/2001 CSL http://link.springer.de/link/service/series/0558/bibs/2142/21420069.htm db/conf/csl/csl2001.html#Mogbil01