@inproceedings{KEOD-2009-Essert-VillardBS,
	author        = "Caroline Essert-Villard and Claire Baegert and Pascal Schreck",
	booktitle     = "{Proceedings of the First International Conference on Knowledge Engineering and Ontology Development}",
	isbn          = "978-989-674-012-2",
	pages         = "443--446",
	publisher     = "{INSTICC Press}",
	title         = "{Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery}",
	year          = 2009,
}