Ordered Resolution for Coalition Logic

From MaRDI portal
Publication:3455769