Enviar aquest missatge de text: A certifying algorithm for horn constraint systems