Marcelo Finger

Advances in Artificial Intelligence - SBIA 2012
Frontiers of Combining Systems
Temporal Logic Vol. 2