Antlers is a city of Oklahoma in the United States .
Antlers is a city in Pushmataha County , Oklahoma .