Logic in Computer Science - Zhang, Hantao; Zhang, Jian (Springer Nature Singapore, 2025)