"The Formal System λδ Revised - Stage A: Extending the Applicability Condition") +
"(<span class=\"emph gamma\">2014-11</span>)." +
"Submitted to ACM ToCL."
"The Formal System λδ Revised - Stage A: Extending the Applicability Condition") +
"(<span class=\"emph gamma\">2014-11</span>)." +
"Submitted to ACM ToCL."