partial order encoding, first draft. Just encoding, nothing else.
Also have changed style to llncs