Barbieri, Rodrigo, AND 		Vieira, Gustavo.
" Hardened Paxos through Consistency Validation" <em>Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC)</em> [Online], (3 November 2015)