Actually, all you need is
<xsl:variable name="mainNodeset" select="document($docSequence)"/>
since document() in 2.0 accepts a sequence of strings as its input.
Michael Kay
http://www.saxonica.com/
Author, XSLT Programmer's Reference and XPath 2.0 Programmer's Reference