The upCast DTD in version 4 is available for download from http://www.infinity-loop.de/DTD/upcast/4.0/upcast.dtd.

For details, please confer the inline documentation or contact us at <support@infinity-loop.de>.