Pierre Lescanne. Common knowledge logic in a higher order proof assistant. Andreï Voronkov & Christoph Weidenbach.
Memory of Harald Ganzinger 2013, 7797, Springer, pp.271-284, 2013, Lecture Notes in Computer Science,
⟨10.1007/978-3-642-40206-7_15⟩.
⟨ensl-00199368v3⟩