Stefan Schulz 0001 Boontawee Suntisrivaraporn Franz Baader SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. 802-806 2007 MedInfo https://doi.org/10.3233/978-1-58603-774-1-802 conf/medinfo/2007 db/conf/medinfo/medinfo2007.html#SchulzSB07