Fragments of first order logic, I: universal Horn logic
scientific article; zbMATH DE number 3591957