(1)
Blanchette, J. C.; Kaliszyk, C.; Paulson, L. C.; Urban, J. Hammering towards QED.
JFR
2016
,
9
, 101-148.