TY  - RPRT
TI  - Large Formal Wikis: Issues and Solutions
AU  - Jesse Alama
AU  - Kasper Brink
AU  - Lionel Mamane
AU  - Josef Urban
PY  - 2011
DO  - 10.1007/978-3-642-22673-1_11
UR  - https://arxiv.org/abs/1107.3209
ID  - 1107.3209
ER  -