//-->
Detecting Embedded Horn Structure in Propositional Logic.
Chandru, V., (1991)
EXTENDED HORN SETS IN PROPOSITIONAL LOGIC
CHANDRU, V., (1988)
Minimizing total completion time on a batch processing machine with job families
Chandru, V., (1993)