@inproceedings{KEOD-2010-ChanLB,
	author        = "Michael Chan and Jos Lehmann and Alan Bundy",
	booktitle     = "{Proceedings of the Second International Conference on Knowledge Engineering and Ontology Development}",
	isbn          = "978-989-8425-29-4",
	pages         = "84--93",
	publisher     = "{SciTePress}",
	title         = "{Higher-order Representation and Reasoning for Automated Ontology Evolution}",
	year          = 2010,
}