A Verified Proof Checker for Metric First-Order Temporal Logic
by Andrei Herasimau, Jonathan Julian Huerta y Munive, Leonardo Lima, Martin Raszyk and Dmitriy Traytel
ACM: Theory of computation~Design and analysis of algorithms
AMS: Computer science / Algorithms in computer science