Temporal Equilibrium Logic with past operators

From MaRDI portal
Publication:4586227