From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support

The [pdf] macro is not in the list of registered macros. Verify the spelling or contact your administrator.