Adjacent vertex distinguishing edge coloring of planar graphs without 3-cycles. - Danjun Huang; Xiaoxiu Zhang; Weifan Wang 001; Stephen Finbow (Discret. Math. Algorithms Appl., 2020)