@incollection{Lenstra/02,
AUTHOR = {Lenstra, H.W., Jr.},
TITLE = {Primality testing with Gaussian periods},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {1-1},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/5cf85nh2jnucaxhn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Mairson/02,
AUTHOR = {Mairson, Harry G.},
TITLE = {From Hilbert spaces to Dilbert spaces: Context semantics made simple},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {2-17},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/ld39u0l8v4vkd83c},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Miller-Tiu/02,
AUTHOR = {Miller, Dale and Tiu, Alwen},
TITLE = {Encoding generic judgments},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {18-32},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/8m3rb9pluvy7qy58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ong/02,
AUTHOR = {Ong, C.-H.L.},
TITLE = {Model checking Algol-like languages using game semantics},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {33-36},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/25tdmg4yqc16h0rb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Veanes/02,
AUTHOR = {Veanes, Margus},
TITLE = {Modeling software: From theory to practice},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {37-46},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/22vb59jrqmey5pur},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Adsul-Sohoni/02a,
AUTHOR = {Adsul, Bharat and Sohoni, Milind},
TITLE = {Local normal forms for logics over traces},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {47-58},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/gyp5gnurw7kk02vq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bockenhauer-Bongartz-Hromkovic-Klasing-Proietti-Seibert-Unger/02,
AUTHOR = {B{\"o}ckenhauer, Hans-Joachim and Bongartz, Dirk and Hromkovi{\v{c}}, Juraj and Klasing, Ralf and Proietti, Guido and Seibert, Sebastian and Unger, Walter},
TITLE = {On the hardness of constructing minimal 2-connected spanning subgraphs in complete graphs with sharpened triangle inequality},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {59-70},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/w1agh4wk81k09j9p},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bugliesi-Crafa-Merro-Sassone/02,
AUTHOR = {Bugliesi, Michele and Crafa, Silvia and Merro, Massimo and Sassone, Vladimiro},
TITLE = {Communication interference in mobile boxed ambients},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {71-84},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/7trtqyu2aeqbt887},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Castagna-Zappa_Nardelli/02,
AUTHOR = {Castagna, Giuseppe and Zappa Nardelli, Francesco},
TITLE = {The seal calculus revisited: Contextual equivalence and bisimilarity},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {85-96},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/fcvpfrutjv217ur5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Crazzolara-Winskel/02,
AUTHOR = {Crazzolara, Federico and Winskel, Glynn},
TITLE = {Composing strand spaces},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {97-108},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/e3yyctk0de2et786},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dawar-Kreutzer/02,
AUTHOR = {Dawar, A. and Kreutzer, S.},
TITLE = {Generalising automaticity to modal properties of finite structures},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {109-120},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/hxr2r5nr8t41qabq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Demri-DSouza/02,
AUTHOR = {Demri, St{\'e}phane and D'Souza, Deepak},
TITLE = {An automata-theoretic approach to constraint LTL},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {121-132},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/2xyjlgpdyxwxtarp},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Feigenbaum-Krishnamurthy-Sami-Shenker/02,
AUTHOR = {Feigenbaum, Joan and Krishnamurthy, Arvind and Sami, Rahul and Shenker, Scott},
TITLE = {Hardness results for multicast cost sharing},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {133-144},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/5yp619qqnq629upc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Finkel-Leroux/02,
AUTHOR = {Finkel, Alain and Leroux, J{\'e}r{\^o}me},
TITLE = {How to compose Presburger-accelerations: Applications to broadcast protocols},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {145-156},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/br9yb1009ejqqv4n},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fritz-Wilke/02,
AUTHOR = {Fritz, Carsten and Wilke, Thomas},
TITLE = {State space reductions for alternating B{\"u}chi automata --- Quotienting by simulation equivalences},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {157-168},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/dg3dny5t455pqjkq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Garg/02,
AUTHOR = {Garg, Vijay K.},
TITLE = {Algorithmic combinatorics based on slicing posets},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {169-181},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/pvd3n1tp83exqtqn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gramm-Guo-Niedermeier/02,
AUTHOR = {Gramm, Jens and Guo, Jiong and Niedermeier, Rolf},
TITLE = {Pattern matching for arc-annotated sequences},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {182-193},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/rcar79w7nxvqv002},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Heinemann/02,
AUTHOR = {Heinemann, Bernhard},
TITLE = {Knowledge over dense flows of time (from a hybrid point of view)},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {194-205},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/yxvrtdqtw75vx4rf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hoang-Thierauf/02a,
AUTHOR = {Hoang, Thanh Minh and Thierauf, Thomas},
TITLE = {The complexity of the inertia},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {206-217},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/4jmlfx45pv5v68kc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Jain-Radhakrishnan-Sen/02a,
AUTHOR = {Jain, Rahul and Radhakrishnan, Jaikumar and Sen, Pranab},
TITLE = {The quantum communication complexity of the pointer chasing problem: The bit version},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {218-229},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/hkraxlg4rb6awx9m},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Korovin-Voronkov/02,
AUTHOR = {Korovin, Konstantin and Voronkov, Andrei},
TITLE = {The decidability of the first-order theory of the Knuth-Bendix order in the case of unary signatures},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {230-240},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/9dxaeve3vlftqq4c},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kusters-Wilke/02,
AUTHOR = {K{\"u}sters, Ralf and Wilke, Thomas},
TITLE = {Deciding the first level of the $\mu$-calculus alternation hierarchy},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {241-252},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/7abxu79r98q6a4xd},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Leucker-Madhusudan-Mukhopadhyay/02,
AUTHOR = {Leucker, Martin and Madhusudan, P. and Mukhopadhyay, Supratik},
TITLE = {Dynamic message sequence charts},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {253-264},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/p8txacqpvdq1lj23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Maneth/02,
AUTHOR = {Maneth, Sebastian},
TITLE = {The complexity of compositions of deterministic tree transducers},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {265-276},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/un2cr6nq91m9p8aj},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Mishra-Radhakrishnan-Sivasubramanian/02,
AUTHOR = {Mishra, S. and Radhakrishnan, J. and Sivasubramanian, S.},
TITLE = {On the hardness of approximating minimum monopoly problems},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {277-288},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/nhv8w9me3hp20r97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Mukund/02,
AUTHOR = {Mukund, Madhavan},
TITLE = {Hereditary history preserving bisimulation is decidable for trace-labelled systems},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {289-300},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/4xmn4nd99k2xwahw},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Naidu-Ramesh/02,
AUTHOR = {Naidu, K.V.M. and Ramesh, H.},
TITLE = {Lower bounds for embedding graphs into graphs of smaller characteristic},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {301-310},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/6f2eq8b4wc69e5nf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Sabharwal-Sharma-Sen/02,
AUTHOR = {Sabharwal, Yogish and Sharma, Nishant and Sen, Sandeep},
TITLE = {Nearest neighbors search using point location in balls with applications to approximate Voronoi decompositions},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {311-323},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/euyvxmjjdj2xjlwp},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Sistla/02,
AUTHOR = {Sistla, A. Prasad},
TITLE = {Formal languages and algorithms for similarity based retrieval from sequence databases},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {324-335},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/vqdwx0gw9nq32yr3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Vogler-Wollowski/02,
AUTHOR = {Vogler, Walter and Wollowski, Ralf},
TITLE = {Decomposition in asynchronous circuit design},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {336-347},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/8vfq47axavp6ab60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Wood/02b,
AUTHOR = {Wood, David R.},
TITLE = {Queue layouts, tree-width, and three-dimensional graph drawing},
BOOKTITLE = {Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)},
SERIES = {LNCS},
VOLUME = {2556},
PAGES = {348-359},
YEAR = {2002},
EDITOR = {Agrawal, Manindra and Seth, Anil},
URL = {http://www.springerlink.com/content/3nmjlc1g5emx9vpk},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}