On 2-SAT and Renamable Horn

del Val. "On 2-SAT and Renamable Horn." AAAI Conference on Artificial Intelligence, 2000.

[del Val. "On 2-SAT and Renamable Horn." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/delval2000aaai-sat/)

@inproceedings{delval2000aaai-sat,
  title     = {{On 2-SAT and Renamable Horn}},
  author    = {del Val, Alvaro},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2000},
  pages     = {279-284},
  url       = {https://mlanthology.org/aaai/2000/delval2000aaai-sat/}
}