David Baelde, Amy P. Felty, Gopalan Nadathur, Alexis Saurin. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday. Mathematical Structures in Computer Science, 29(8):1007-1008, 2019. [doi]
Abstract is missing.