@inproceedings{Hahnle94:1,
  title = {Efficient Deduction in Many-Valued Logics},
  author = {Reiner Hähnle},
  year = {1994},
  tags = {logic},
  researchr = {https://researchr.org/publication/Hahnle94%3A1},
  cites = {0},
  citedby = {0},
  pages = {240-249},
  booktitle = {ISMVL},
}