@Inproceedings{EPTCS1.18,
  author    = {Okhotin, Alexander},
  year      = {2009},
  title     = {Representing a P-complete problem by small trellis automata},
  editor    = {Neary, Turlough and Woods, Damien and Seda, Tony and Murphy, Niall},
  booktitle = {{\rm Proceedings International Workshop on}
               The Complexity of Simple Programs,
               {\rm Cork, Ireland, 6-7th December 2008}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {1},
  publisher = {Open Publishing Association},
  pages     = {185-198},
  doi       = {10.4204/EPTCS.1.18},
}