Johan Commelin, Josef Urban. Auto-hyperlinking the Stacks Project. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe 0001, Volker Sorge, editors, CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015. pages 19-24, 2015. [doi]
Abstract is missing.