Bounding the maximum size of a minimal definitive set of quartets. - Max Dietrich; Catherine McCartin; Charles Semple (Inf. Process. Lett., 2012)