@book{RM-2320-PR,
author="Gross, Oliver Alfred",
title="A mechanical proof of the min-max theorem.",
address="Santa Monica, CA",
year="1959",
doi="",
publisher="RAND Corporation"
}