A combinatorial algorithm for Horn programs

R. Chandrasekaran, K. Subramani. A combinatorial algorithm for Horn programs. Discrete Optimization, 10(2):85-101, 2013. [doi]

Abstract

Abstract is missing.