Axiomatisation of general concept inclusions from finite interpretations

From MaRDI portal
Publication:4586152