Casl Specifications of Qualitative Calculi

Stefan Wölfl, Till Mossakowski. Casl Specifications of Qualitative Calculi. In Anthony G. Cohn, David M. Mark, editors, Spatial Information Theory, International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings. Volume 3693 of Lecture Notes in Computer Science, pages 200-217, Springer, 2005. [doi]

@inproceedings{WolflM05,
  title = {Casl Specifications of Qualitative Calculi},
  author = {Stefan Wölfl and Till Mossakowski},
  year = {2005},
  doi = {10.1007/11556114_13},
  url = {http://dx.doi.org/10.1007/11556114_13},
  researchr = {https://researchr.org/publication/WolflM05},
  cites = {0},
  citedby = {0},
  pages = {200-217},
  booktitle = {Spatial Information Theory, International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings},
  editor = {Anthony G. Cohn and David M. Mark},
  volume = {3693},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28964-X},
}