Equivalence between time consistency and nested formula

From MaRDI portal
Publication:827137