Article ISI THEORY OF COMPUTING SYSTEMS (2016)
Reutter, Juan; Romero, Miguel; Vardi, Moshe
10.1007/s00224-016-9676-2