Revisiting GPC and AND Connector in Real-Time CalculusYue Tang, Wang Yi, Nan Guan et al.|Unknown|2017Cited by 6