Chuzo Iwamoto Yoshiaki Nakashiba Kenichi Morita Katsunobu Imai Translational Lemmas for Alternating TMs and PRAMs. 137-148 2005 conf/fct/2005 FCT http://dx.doi.org/10.1007/11537311_13 db/conf/fct/fct2005.html#IwamotoNMI05