Gilles Audemard, Saïd Jabbour, Lakhdar Sais. SAT graph-based representation: A new perspective. J. Algorithms, 63(1-3):17-33, 2008. [doi]
@article{AudemardJS08,
title = {SAT graph-based representation: A new perspective},
author = {Gilles Audemard and Saïd Jabbour and Lakhdar Sais},
year = {2008},
doi = {10.1016/j.jalgor.2008.02.001},
url = {http://dx.doi.org/10.1016/j.jalgor.2008.02.001},
tags = {rule-based, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/AudemardJS08},
cites = {0},
citedby = {0},
journal = {J. Algorithms},
volume = {63},
number = {1-3},
pages = {17-33},
}