Advances in Artificial Intelligence - SBIA 2012Leliane N. Barros, Marcelo Finger, Aurora T.R. Pozo, Gustavo Alberto Giménez Lugo, Marcos Castilho · First published 2012Open the Tome
Temporal Logic Vol. 2Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger · First published 2000Open the Tome
