Agreeing to disagree: Reconciling conflicting taxonomic views using a logic-based approach

Agreeing to disagree: Reconciling conflicting taxonomic views using a logic-based approach