BibTeX Export
@article{Authenticus:P-000-9ZW, title = {{The decidability of a fragment of BB ' IW-logic}}, author = {S Broda and L Damas and M Finger and PSE Silva}, doi = {10.1016/j.tcs.2004.02.002}, journal = {Theoretical Computer Science}, number = {3}, pages = {373-408}, publisher = {Elsevier Science Bv}, type = {Article}, volume = {318}, year = {2004} }