Wojciech Jedynak, Malgorzata Biernacka, Dariusz Biernacki. An operational foundation for the tactic language of Coq. In Ricardo Peña, Tom Schrijvers, editors, 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013. pages 25-36, ACM, 2013. [doi]
Abstract is missing.