Preferential Choice Representation Theorems for Branching Time Structures

From MaRDI portal
Publication:4868263