Rami P. Grossberg Alexei Kolesnikov Ivan Tomasic Monica Van Dieren The equality S1 = D = R. 115-128 2003 49 Math. Log. Q. 2 http://dx.doi.org/10.1002/malq.200310012 db/journals/mlq/mlq49.html#GrossbergKTD03