+ @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
+ * }
+ ]
+*)
+ [ { name "ldR2c" "<span class=\"emph alpha\">R2c.</span>" "" } {
+ "F. Guidi:" +
+ @("http://amsacta.unibo.it/4411/"
+ "Extending the Applicability Condition in the Formal System λδ") +
+ "(<span class=\"emph gamma\">2015-03</span>)." +
+ "University of Bologna, technical report AMS Acta 4411." +
+ @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."