@misc{miscdd350588,
title   = {Logical consistency in simultaneous test procedures},
author = {Izbicki, Rafael and Esteves, Luis Gustavo},
year = {2014},
publisher = {IME-USP}
}