+% \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+@misc{lambdadeltaV2,
+ author="F. {Guidi}",
+ title="{lambdadelta\_2}",
+ howpublished="Formal specification for the proof assistant Matita 0.99.2",
+ year="2014",
+ month="October",
+ note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+}
+
+@incollection{lambdadeltaR5,