T. Niebler, M. Becker, D. Zoller, S. Doerfel, and A. Hotho. Proceedings of the 25th ACM International Conference on Information
and Knowledge Management, CIKM 2016, Indianapolis, IN, USA, October
24-28, 2016, page 2311--2316. ACM, (2016)
M. Escardó. (2019)cite arxiv:1911.00580Comment: 211 pages, extended version of Midlands Graduate School course (2019), includes Agda-verified mathematics. Sources available at github (as explained in the pdf file), but not in LaTeX, last revised September 2022.
F. Lemmerich, M. Becker, P. Singer, D. Helic, A. Hotho, and M. Strohmaier. Proceedings of the 22nd ACM SIGKDD International Conference on
Knowledge Discovery and Data Mining, San Francisco, CA, USA, August
13-17, 2016, page 965--974. ACM, (2016)