On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions

From MaRDI portal