@misc{miscee92c018,
title   = {Uma conjectura refutada sobre satisfazibilidade probabilística},
author = {Finger, Marcelo and De Bona, Glauber},
year = {2009},
publisher = {IME-USP}
}