Marcelo FingerBooksFrontiers of Combining SystemsTemporal Logic Vol. 2Advances in Artificial Intelligence - SBIA 2012Author data: Open Library