@InProceedings{PS14,
    Author       = "Pease, A. and Schulz, S.",
    Year         = "2014",
    Title        = "{Knowledge Engineering for Large Ontologies with Sigma KEE 3.0}",
    Editor       = "Demri, S. and Kapur, D. and Weidenbach, C.",
    BookTitle    = "{Proceedings of the 7th International Joint Conference on Automated Reasoning}",
    Place        = "Vienna, Austria",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "8562",
    Pages        = "519-525",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    Comment      = ""
}