Reasoning about permitted announcements

From MaRDI portal
Publication:652739