Large formal wikis: Issues and solutions (2011)

by Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban
Venue:Calculemus/MKM, volume 6824 of LNCS