Lexicographic priorities in default logic

From MaRDI portal
Publication:1277698