Marco Cadoli Semantical and Computational Aspects of Horn Approximations. 39-45 1993 IJCAI db/conf/ijcai/ijcai93.html#Cadoli93