Handbook of logic in artificial intelligence and logic programmingHandbook of logic in computer scienceTemporal logic : mathematical foundations and computational aspects
