FranzEtAl-2017-SupplementaryMaterials-S1

SUPPLEMENTARY MATERIALS S1. – Answer Set Programming code (.txt), with extensive comments, to perform the 20 nomenclatural taxon use case in conjunction with the Potassco solver clingo. See also Table 1