@article{Wil:05,
  journal = {Algebra Universalis},
  number = 4,
  year = 2005,
  volume = 54,
  title = {A Gentzen system for involutive residuated lattices},
  pages = {449--463},
  author = {Wille, Annika M.},
}