A Combinatorial Algorithm for Horn Programs

R. Chandrasekaran, K. Subramani. A Combinatorial Algorithm for Horn Programs. In Yingfei Dong, Ding-Zhu Du, Oscar H. Ibarra, editors, Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings. Volume 5878 of Lecture Notes in Computer Science, pages 1114-1123, Springer, 2009. [doi]

Authors

R. Chandrasekaran

This author has not been identified. Look up 'R. Chandrasekaran' in Google

K. Subramani

This author has not been identified. Look up 'K. Subramani' in Google