@misc{indiciae3ec199a9ad4d,
  title = {Abstract Canonical Inference},
  author = {Maria Paola Bonacina and Nachum Dershowitz},
  year = {2006},
  doi = {10.1145/1182613.1182619},
  url = {https://arxiv.org/abs/cs/0406030},
  note = {Source identifier: cs/0406030}
}