@article{HeuleSzeider15,
 author = {Marijn Heule and
Stefan Szeider},
 doi = {10.1145/2736696},
 journal = {ACM Transactions on Computational Logic},
 number = {3},
 pages = {24},
 title = {A {SAT} Approach to Clique-Width},
 url = {http://doi.acm.org/10.1145/2736696},
 volume = {16},
 year = {2015}
}