Temporal Logic: Mathematical Foundations and Computational Aspects 1994 · ENGLISH · DJVU View details →
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings 2001 · ENGLISH · PDF View details →
