SAT-Based Horn Least Upper Bounds | Publicación