On recursion-free Horn clauses and Craig interpolation
scientific article; zbMATH DE number 6496662
scientific article