Learning and using formal language. - Anthony Cox; Maryanne Fisher; Diana Smith; Josipa Granic (PPIG, 2004)

Planar graphs without cycles of length 4 or 5 are (3, 0, 0)(3, 0, 0)-colorable. - Owen Hill; Diana Smith; Yingqian Wang 001; Lingji Xu; Gexin Yu (Discret. Math., 2013)