The paperwork depends on the investor. Quicken will supply the proper packet. Quicken is usually a breeze to work with, though lately they have slowed down some.
Minna is correct, I'd just call them and ask for their short sale packet.
As is the case with most servicers, packets and processing can vary depending who the Investor is, and, if payments are late!