Minor Planet Center
The official naming citation was published by the Minor Planet Center on 29 November 1993 ().