@article{article285fec9f,
title   = {The decidability of a fragment of BB'IW-logic},
author = {Broda, Sabine and Damas, Luís and Finger, Marcelo and Silva, Paulo J. S.},
year = {2004},
doi = {10.1016/j.tcs.2004.02.002},
journal   = {Theoretical Computer Science}
}