CNF: fix type of cross
CNF: fix type of cross
transducer. proof sketch.
Merge branch 'master' of github.com:amosr/papers