@misc{misc9b831329,
title   = {Caracterização da independência condicional em lógica modal},
author = {Arruda, Alexandre Matos and Finger, Marcelo},
year = {2010},
publisher = {IME-USP}
}