Uta Priss Formalizing Botanical Taxonomies. 309-322 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2746&spage=309 2003 conf/iccs/2003 ICCS db/conf/iccs/iccs2003.html#Priss03