@inproceedings{Otto1995d,
  author = {Otto, Martin},
  year = {1995},
  booktitle = {Proceedings of 10th IEEE Symposium on Logic in Computer Science
               LICS `95},
  title = {Ptime canonization for two variables with counting},
  pages = {342-352},
}