@inproceedings{KEOD-2009-SassiJG09a,
	author        = "Najla Sassi and Wassim Jaziri and Faïez Gargouri",
	booktitle     = "{Proceedings of the First International Conference on Knowledge Engineering and Ontology Development}",
	isbn          = "978-989-674-012-2",
	pages         = "388--391",
	publisher     = "{INSTICC Press}",
	title         = "{Z-based Formalization of Kits of Changes to Maintain Ontology Consistency}",
	year          = 2009,
}