Alexander Okhotin Representing a P-complete problem by small trellis automata http://arxiv.org/abs/0906.3208 2008 CSP 185-198 db/series/eptcs/eptcs1.html#abs-0906-3208 journals/corr/abs-0906-4612