The owners of the St. Petersburg Times and The Tampa Tribune have settled a dispute over the right to use the name “Tampa Bay Times,” both papers reported.

The St. Petersburg Times uses the name on a free publication launched in 2004, which is also called “tbt.” The Tampa Tribune uses the name “The Tampa Times” in small type on its nameplate.