V. Chandru, John N. Hooker. Detecting Embedded Horn Structure in Propositional Logic. Inf. Process. Lett., 42(2):109-111, 1992.
@article{ChandruH92,
title = {Detecting Embedded Horn Structure in Propositional Logic},
author = {V. Chandru and John N. Hooker},
year = {1992},
tags = {logic},
researchr = {https://researchr.org/publication/ChandruH92},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {42},
number = {2},
pages = {109-111},
}