Decidability of S2S (2007)

by C Kissig