@article{journals/ci/HermentO95,
  added-at = {2010-01-19T00:00:00.000+0100},
  author = {Herment, Michel and Orlowska, Ewa},
  biburl = {http://www.bibsonomy.org/bibtex/2f01f1f95f439c5908f4677ca402e0fe2/dblp},
  date = {2010-01-19},
  description = {dblp},
  ee = {http://dx.doi.org/10.1111/j.1467-8640.1995.tb00034.x},
  interhash = {3a3e4d0fdd24212fc4f7dccf26950192},
  intrahash = {f01f1f95f439c5908f4677ca402e0fe2},
  journal = {Computational Intelligence},
  keywords = {dblp},
  pages = {297-322},
  timestamp = {2010-01-19T00:00:00.000+0100},
  title = {Handling Information Logics in a Graphical Proof Editor.},
  url = {http://dblp.uni-trier.de/db/journals/ci/ci11.html#HermentO95},
  volume = 11,
  year = 1995
}