1. SNOMED-CT Systematized Nomenclature of Medicine-Clinical Terms. http://www.ihtsdo.org/snomed-ct/ , (2007)
2. Agarwal S, Joshi A, Finin T, Yesha Y, Ganous T (2007) A pervasive computing system for the operating room of the future. J Mob Netw Appl 12(2–3):215–228
3. Alechina N, Jago M, Logan B (2006) Modal logics for communicating rule-based agents. In: Proceedings of the 17th European Conference on Artificial Intelligence A , pp 322–326
4. Alechina N, Logan B, Nga NH, Rakib A (2008) Verifying time and communication costs of rule-based reasoners. In: Peled D A, Wooldridge M J (eds) MoChArt2008, LNCS, vol 5348. Springer, Heidelberg, pp 1–14
5. Alechina N, Logan B, Nga NH, Rakib A (2009) Verifying time, memory and communication bounds in systems of reasoning agents. Synth 169(2):385–403