The satisfiability problem in multiple-valued Horn formulae | IEEE Conference Publication | IEEE Xplore