A certifying algorithm for horn constraint systems - Gupta, Pratik Bijaiprakash (ProQuest Dissertations and Theses, 2014)