Computing intersections of Horn theories for reasoning with models
scientific article; zbMATH DE number 1770894