David Love. Rigorous, and Informal?. In Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar, editors, Conceptual Structures for Discovering Knowledge - 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011. Proceedings. Volume 6828 of Lecture Notes in Computer Science, pages 304-308, Springer, 2011. [doi]
Abstract is missing.