Calculi for symmetric queries. - Gyssens, Marc; Hellings, Jelle; Paredaens, Jan; Van Gucht, Dirk; Wijsen, Jef; Wu, Yuqing (Journal of Computer & System Sciences, 2019)