@Article{J24,
  key = {J24},
  author = 	 {Adam Pease and Christoph Benzm{\"u}ller},
  title = 	 {Sigma: An Integrated Development Environment for Formal Ontology},
  journal =	 {AI Communications (Special Issue on Intelligent Engineering Techniques for Knowledge Bases)},
  year = 2013,
  volume = {26},
  pages = {79-97},
  number = {1},
  note = {doi:10.3233/AIC-120549}
}