David Marjanovic wrote:
> _Supersaurus_ won because although the two names were raised in the > same paper (Jensen 1985), it was the first of the two to be named.
No, it won because the first revisor chose it so. Contrary to popular myth, page and line priority do not exist; the two names were published at the very same time.
Cheers
Tim