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}
}