@article{Otto1997b,
  year = {1997},
  booktitle = {Selected Papers of CSL `96},
  volume = {1258},
  series = {{LNCS}},
  author = {Otto, Martin},
  publisher = {Springer-Verlag},
  title = {{The logic of explicitly representation-invariant circuits}},
  pages = {369-384},
  editor = {D.~van~Dalen and M.~Bezem},
}