The decidability of a fragment of BB'IW-logic - Broda, Sabine; Damas, Luís; Finger, Marcelo; Silva, Paulo J. S. (Theoretical Computer Science, 2004)