Variable priorities and exclusionary reasons in input/output logic

From MaRDI portal
Publication:1633232