Neat. Here's two more on that topic that go further: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.459.7149 http://citeseerx.ist.psu.edu/viewdoc/summ

Neat. Here's two more on that topic that go further: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.459.7149 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.459.... http://matryoshka.gforge.inria.fr/pubs/sat_sister.pdf http://matryoshka.gforge.inria.fr/pubs/sat_sister.pdf