Loop-check specification for a sequent calculus of temporal logic

From MaRDI portal
Publication:2106881