@proceedings{birthday:1991,
  title = {Computational Logic - Essays in Honor of Alan Robinson},
  year = {1991},
  tags = {logic},
  researchr = {https://researchr.org/publication/birthday%3A1991},
  cites = {0},
  citedby = {0},
  booktitle = {Computational Logic - Essays in Honor of Alan Robinson},
  conference = {BIRTHDAY},
}