@inproceedings{chkm97,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Cerioli, M. and Haxthausen, A. and Krieg-Br{\"u}ckner, B. and Mossakowski, T.},
  biburl = {https://www.bibsonomy.org/bibtex/2acea7b0060137095037855f0207af4e5/tillmo},
  booktitle = {Algebraic methodology and software technology, 6th international conference, AMAST 97},
  editor = {Johnson, M.},
  interhash = {88a2e5c35bd595274f8e1c729ad880ef},
  intrahash = {acea7b0060137095037855f0207af4e5},
  keywords = {imported},
  number = 1349,
  pages = {91–107},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/CASLsubsorts.ps},
  publisher = {Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Permissive Subsorted Partial Logic in CASL},
  url = {http://dx.doi.org/10.1007/BFb0000465},
  year = 1997
}