+ @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
+ * }
+ ]
+ [ { name "ldR3a" "<span class=\"emph alpha\">R3a.</span>" "" } {
+ "F. Guidi:" +
+ @("http://amsacta.unibo.it/5754/"
+ "The Formal System λΥP") +
+ "(<span class=\"emph alpha\">2017-12</span>)." +
+ "University of Bologna, technical report AMS Acta 5754" +
+ "(accepted <span class=\"emph alpha\">2018-01</span>)." +
+ @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."