PeCO/article.bbl

   1 %%% -*-BibTeX-*-
   2 %%% Do NOT edit. File created by BibTeX with style
   3 %%% ACM-Reference-Format-Journals [18-Jan-2012].
   4
   5 \begin{thebibliography}{00}
   6
   7 %%% ====================================================================
   8 %%% NOTE TO THE USER: you can override these defaults by providing
   9 %%% customized versions of any of these macros before the \bibliography
  10 %%% command.  Each of them MUST provide its own final punctuation,
  11 %%% except for \shownote{}, \showDOI{}, and \showURL{}.  The latter two
  12 %%% do not use final punctuation, in order to avoid confusing it with
  13 %%% the Web address.
  14 %%%
  15 %%% To suppress output of a particular field, define its macro to expand
  16 %%% to an empty string, or better, \unskip, like this:
  17 %%%
  18 %%% \newcommand{\showDOI}[1]{\unskip}   % LaTeX syntax
  19 %%%
  20 %%% \def \showDOI #1{\unskip}           % plain TeX syntax
  21 %%%
  22 %%% ====================================================================
  23
  24 \ifx \showCODEN    \undefined \def \showCODEN     #1{\unskip}     \fi
  25 \ifx \showDOI      \undefined \def \showDOI       #1{{\tt DOI:}\penalty0{#1}\ }
  26   \fi
  27 \ifx \showISBNx    \undefined \def \showISBNx     #1{\unskip}     \fi
  28 \ifx \showISBNxiii \undefined \def \showISBNxiii  #1{\unskip}     \fi
  29 \ifx \showISSN     \undefined \def \showISSN      #1{\unskip}     \fi
  30 \ifx \showLCCN     \undefined \def \showLCCN      #1{\unskip}     \fi
  31 \ifx \shownote     \undefined \def \shownote      #1{#1}          \fi
  32 \ifx \showarticletitle \undefined \def \showarticletitle #1{#1}   \fi
  33 \ifx \showURL      \undefined \def \showURL       #1{#1}          \fi
  34
  35 \bibitem[\protect\citeauthoryear{Akyildiz, Su, Sankarasubramaniam, and
  36   Cayirci}{Akyildiz et~al\mbox{.}}{2002}]%
  37         {akyildiz2002wireless}
  38 {Ian~F Akyildiz}, {Weilian Su}, {Yogesh Sankarasubramaniam}, {and} {Erdal
  39   Cayirci}. 2002.
  40 \newblock \showarticletitle{Wireless sensor networks: a survey}.
  41 \newblock {\em Computer networks\/} {38}, 4 (2002), 393--422.
  42 \newblock
  43
  44
  45 \bibitem[\protect\citeauthoryear{Anastasi, Conti, Di~Francesco, and
  46   Passarella}{Anastasi et~al\mbox{.}}{2009}]%
  47         {anastasi2009energy}
  48 {Giuseppe Anastasi}, {Marco Conti}, {Mario Di~Francesco}, {and} {Andrea
  49   Passarella}. 2009.
  50 \newblock \showarticletitle{Energy conservation in wireless sensor networks: A
  51   survey}.
  52 \newblock {\em Ad Hoc Networks\/} {7}, 3 (2009), 537--568.
  53 \newblock
  54
  55
  56 \bibitem[\protect\citeauthoryear{Berman and Calinescu}{Berman and
  57   Calinescu}{2004}]%
  58         {berman04}
  59 {P. Berman} {and} {G. Calinescu}. 2004.
  60 \newblock \showarticletitle{Power Efficient Monitoring Management in Sensor
  61   Networks}. In {\em Proceedings of IEEE Wireless Communication and Networking
  62   Conference (WCNC'04)}. 2329--2334.
  63 \newblock
  64
  65
  66 \bibitem[\protect\citeauthoryear{Cardei and Du}{Cardei and Du}{2005}]%
  67         {cardei2005improving}
  68 {Mihaela Cardei} {and} {Ding-Zhu Du}. 2005.
  69 \newblock \showarticletitle{Improving wireless sensor network lifetime through
  70   power aware organization}.
  71 \newblock {\em Wireless Networks\/} {11}, 3 (2005), 333--340.
  72 \newblock
  73
  74
  75 \bibitem[\protect\citeauthoryear{Cardei, Thai, Li, and Wu}{Cardei
  76   et~al\mbox{.}}{2005}]%
  77         {cardei2005energy}
  78 {Mihaela Cardei}, {My~T Thai}, {Yingshu Li}, {and} {Weili Wu}. 2005.
  79 \newblock \showarticletitle{Energy-efficient target coverage in wireless sensor
  80   networks}. In {\em INFOCOM 2005. 24th Annual Joint Conference of the IEEE
  81   Computer and Communications Societies. Proceedings IEEE}, Vol.~3. IEEE,
  82   1976--1984.
  83 \newblock
  84
  85
  86 \bibitem[\protect\citeauthoryear{Casta{\~n}o, Rossi, Sevaux, and
  87   Velasco}{Casta{\~n}o et~al\mbox{.}}{2013}]%
  88         {castano2013column}
  89 {Fabian Casta{\~n}o}, {Andr{\'e} Rossi}, {Marc Sevaux}, {and} {Nubia Velasco}.
  90   2013.
  91 \newblock \showarticletitle{A column generation approach to extend lifetime in
  92   wireless sensor networks with coverage and connectivity constraints}.
  93 \newblock {\em Computers \& Operations Research\/} (2013).
  94 \newblock
  95
  96
  97 \bibitem[\protect\citeauthoryear{Deng, Jiguo~Yu, and Chen}{Deng
  98   et~al\mbox{.}}{2012}]%
  99         {Deng2012}
 100 {Xiu Deng}, {Dongxiao~Yu Jiguo~Yu}, {and} {Congcong Chen}. 2012.
 101 \newblock \showarticletitle{Transforming Area Coverage to Target Coverage to
 102   Maintain Coverage and Connectivity for Wireless Sensor Networks}.
 103 \newblock {\em International Journal of Distributed Sensor Networks\/}  {2012}
 104   (2012).
 105 \newblock
 106
 107
 108 \bibitem[\protect\citeauthoryear{Deschinkel}{Deschinkel}{2012}]%
 109         {deschinkel2012column}
 110 {Karine Deschinkel}. 2012.
 111 \newblock \showarticletitle{A Column Generation based Heuristic to Extend
 112   Lifetime in Wireless Sensor Network.}
 113 \newblock {\em Sensors \& Transducers Journal\/}  {14-2} (2012), 242--253.
 114 \newblock
 115
 116
 117 \bibitem[\protect\citeauthoryear{Fourer, Gay, and Kernighan}{Fourer
 118   et~al\mbox{.}}{2002}]%
 119         {AMPL}
 120 {Robert Fourer}, {David~M. Gay}, {and} {Brian~W. Kernighan}. November 12, 2002.
 121 \newblock {\em AMPL: A Modeling Language for Mathematical Programming\/} (2nd
 122   ed.).
 123 \newblock Cengage Learning.
 124 \newblock
 125
 126
 127 \bibitem[\protect\citeauthoryear{He, Gong, Zhang, Chen, and Sun}{He
 128   et~al\mbox{.}}{2014}]%
 129         {HeShibo}
 130 {Shibo He}, {Xiaowen Gong}, {Junshan Zhang}, {Jiming Chen}, {and} {Youxian
 131   Sun}. 2014.
 132 \newblock \showarticletitle{Curve-Based Deployment for Barrier Coverage in
 133   Wireless Sensor Networks}.
 134 \newblock {\em Wireless Communications, IEEE Transactions on\/} {13}, 2
 135   (February 2014), 724--735.
 136 \newblock
 137 \showISSN{1536-1276}
 138 \showDOI{%
 139 \url{http://dx.doi.org/10.1109/TWC.2013.121813.130198}}
 140
 141
 142 \bibitem[\protect\citeauthoryear{Huang and Tseng}{Huang and Tseng}{2005a}]%
 143         {Huang:2003:CPW:941350.941367}
 144 {C.-F. Huang} {and} {Y.-C. Tseng}. 2005a.
 145 \newblock \showarticletitle{The Coverage Problem in a Wireless Sensor Network}.
 146 \newblock {\em Mobile Networks and Applications\/} {10}, 4 (2005), 519--528.
 147 \newblock
 148
 149
 150 \bibitem[\protect\citeauthoryear{Huang and Tseng}{Huang and Tseng}{2005b}]%
 151         {huang2005coverage}
 152 {Chi-Fu Huang} {and} {Yu-Chee Tseng}. 2005b.
 153 \newblock \showarticletitle{The coverage problem in a wireless sensor network}.
 154 \newblock {\em Mobile Networks and Applications\/} {10}, 4 (2005), 519--528.
 155 \newblock
 156
 157
 158 \bibitem[\protect\citeauthoryear{Idrees, Deschinkel, Salomon, and
 159   Couturier}{Idrees et~al\mbox{.}}{2014a}]%
 160         {idrees2014coverage}
 161 {Ali~Kadhum Idrees}, {Karine Deschinkel}, {Michel Salomon}, {and} {Rapha{\"e}l
 162   Couturier}. 2014a.
 163 \newblock \showarticletitle{Coverage and Lifetime Optimization in Heterogeneous
 164   Energy Wireless Sensor Networks}. In {\em ICN 2014, The Thirteenth
 165   International Conference on Networks}. 49--54.
 166 \newblock
 167
 168
 169 \bibitem[\protect\citeauthoryear{Idrees, Deschinkel, Salomon, and
 170   Couturier}{Idrees et~al\mbox{.}}{2014b}]%
 171         {Idrees2}
 172 {Ali~Kadhum Idrees}, {Karine Deschinkel}, {Michel Salomon}, {and} {Rapha{\"e}l
 173   Couturier}. 2014b.
 174 \newblock {\em Distributed Lifetime Coverage Optimization Protocol in Wireless
 175   Sensor Networks}.
 176 \newblock {T}echnical {R}eport DISC2014-X. University of Franche-Comte -
 177   FEMTO-ST Institute, DISC Research Department.
 178 \newblock
 179
 180
 181 \bibitem[\protect\citeauthoryear{Jaggi and Abouzeid}{Jaggi and
 182   Abouzeid}{2006}]%
 183         {jaggi2006}
 184 {N. Jaggi} {and} {A.A. Abouzeid}. 2006.
 185 \newblock \showarticletitle{Energy-efficient Connected Covereage in Wireless
 186   Sensor Networks}. In {\em Proceeding of 4th Asian International Mobile
 187   Computing Conference AMOC2006}.
 188 \newblock
 189
 190
 191 \bibitem[\protect\citeauthoryear{Kim and Cobb}{Kim and Cobb}{2013}]%
 192         {kim2013maximum}
 193 {Hyunbum Kim} {and} {Jorge~A Cobb}. 2013.
 194 \newblock \showarticletitle{Maximum lifetime of reinforced barrier-coverage in
 195   Wireless Sensor Networks}. In {\em Networks (ICON), 2013 19th IEEE
 196   International Conference on}. IEEE, 1--6.
 197 \newblock
 198
 199
 200 \bibitem[\protect\citeauthoryear{Lee, Gallagher, Silvern, Wuu, and Zaider}{Lee
 201   et~al\mbox{.}}{1999}]%
 202         {0031-9155-44-1-012}
 203 {Eva~K Lee}, {Richard~J Gallagher}, {David Silvern}, {Cheng-Shie Wuu}, {and}
 204   {Marco Zaider}. 1999.
 205 \newblock \showarticletitle{Treatment planning for brachytherapy: an integer
 206   programming model, two computational approaches and experiments with
 207   permanent prostate implant planning}.
 208 \newblock {\em Physics in Medicine and Biology\/} {44}, 1 (1999), 145.
 209 \newblock
 210 \showURL{%
 211 \url{http://stacks.iop.org/0031-9155/44/i=1/a=012}}
 212
 213
 214 \bibitem[\protect\citeauthoryear{Li and Vasilakos}{Li and Vasilakos}{2013}]%
 215         {li2013survey}
 216 {Mo Li} {and} {Athanasios~V Vasilakos}. 2013.
 217 \newblock \showarticletitle{A Survey on Topology Control in Wireless Sensor
 218   Networks: Taxonomy, Comparative Study, and Open Issues}.
 219 \newblock {\it Proc. IEEE} {101}, 12 (2013).
 220 \newblock
 221
 222
 223 \bibitem[\protect\citeauthoryear{Ling and Znati}{Ling and Znati}{2009}]%
 224         {ling2009energy}
 225 {Hui Ling} {and} {Taieb Znati}. 2009.
 226 \newblock \showarticletitle{Energy efficient adaptive sensing for dynamic
 227   coverage in wireless sensor networks}. In {\em Wireless Communications and
 228   Networking Conference, 2009. WCNC 2009. IEEE}. IEEE, 1--6.
 229 \newblock
 230
 231
 232 \bibitem[\protect\citeauthoryear{Makhorin}{Makhorin}{2012}]%
 233         {glpk}
 234 {Andrew Makhorin}. 2012.
 235 \newblock \showarticletitle{The GLPK (GNU Linear Programming Kit)}.
 236 \newblock {\em Available: https://www.gnu.org/software/glpk/\/} (2012).
 237 \newblock
 238
 239
 240 \bibitem[\protect\citeauthoryear{Misra, Kumar, and Obaidat}{Misra
 241   et~al\mbox{.}}{2011}]%
 242         {Misra}
 243 {S. Misra}, {M.~P. Kumar}, {and} {M.~S. Obaidat}. 2011.
 244 \newblock \showarticletitle{Connectivity preserving localized coverage
 245   algorithm for area monitoring using wireless sensor networks}.
 246 \newblock {\em Computer Communications\/} {34}, 12 (2011), 1484--1496.
 247 \newblock
 248
 249
 250 \bibitem[\protect\citeauthoryear{Padmavathy and Chitra}{Padmavathy and
 251   Chitra}{2010}]%
 252         {pc10}
 253 {T.V. Padmavathy} {and} {M. Chitra}. 2010.
 254 \newblock \showarticletitle{Extending the Network Lifetime of Wireless Sensor
 255   Networks Using Residual Energy Extraction-Hybrid Scheduling Algorithm}.
 256 \newblock {\em Int. J. of Communications, Network and System Sciences\/} {3}, 1
 257   (2010), 98--106.
 258 \newblock
 259
 260
 261 \bibitem[\protect\citeauthoryear{Puccinelli and Haenggi}{Puccinelli and
 262   Haenggi}{2005}]%
 263         {puccinelli2005wireless}
 264 {Daniele Puccinelli} {and} {Martin Haenggi}. 2005.
 265 \newblock \showarticletitle{Wireless sensor networks: applications and
 266   challenges of ubiquitous sensing}.
 267 \newblock {\em Circuits and Systems Magazine, IEEE\/} {5}, 3 (2005), 19--31.
 268 \newblock
 269
 270
 271 \bibitem[\protect\citeauthoryear{Pujari}{Pujari}{2011}]%
 272         {pujari2011high}
 273 {Arun~K Pujari}. 2011.
 274 \newblock \showarticletitle{High-Energy-First (HEF) Heuristic for
 275   Energy-Efficient Target Coverage Problem.}
 276 \newblock {\em International Journal of Ad Hoc, Sensor \& Ubiquitous
 277   Computing\/} {2}, 1 (2011).
 278 \newblock
 279
 280
 281 \bibitem[\protect\citeauthoryear{Qu and Georgakopoulos}{Qu and
 282   Georgakopoulos}{2013}]%
 283         {qu2013distributed}
 284 {Yipeng Qu} {and} {Stavros~V Georgakopoulos}. 2013.
 285 \newblock \showarticletitle{A distributed area coverage algorithm for
 286   maintenance of randomly distributed sensors with adjustable sensing range}.
 287   In {\em Global Communications Conference (GLOBECOM), 2013 IEEE}. IEEE,
 288   286--291.
 289 \newblock
 290
 291
 292 \bibitem[\protect\citeauthoryear{Rault, Bouabdallah, and Challal}{Rault
 293   et~al\mbox{.}}{2014}]%
 294         {rault2014energy}
 295 {Tifenn Rault}, {Abdelmadjid Bouabdallah}, {and} {Yacine Challal}. 2014.
 296 \newblock \showarticletitle{Energy efficiency in wireless sensor networks: A
 297   top-down survey}.
 298 \newblock {\em Computer Networks\/}  {67} (2014), 104--122.
 299 \newblock
 300
 301
 302 \bibitem[\protect\citeauthoryear{Rossi, Singh, and Sevaux}{Rossi
 303   et~al\mbox{.}}{2012}]%
 304         {rossi2012exact}
 305 {Andr{\'e} Rossi}, {Alok Singh}, {and} {Marc Sevaux}. 2012.
 306 \newblock \showarticletitle{An exact approach for maximizing the lifetime of
 307   sensor networks with adjustable sensing ranges}.
 308 \newblock {\em Computers \& Operations Research\/} {39}, 12 (2012), 3166--3176.
 309 \newblock
 310
 311
 312 \bibitem[\protect\citeauthoryear{Tian and Georganas}{Tian and
 313   Georganas}{2002}]%
 314         {Tian02}
 315 {Di Tian} {and} {Nicolas~D. Georganas}. 2002.
 316 \newblock \showarticletitle{A coverage-preserving node scheduling scheme for
 317   large wireless sensor networks}. In {\em Proceedings of the 1st ACM
 318   international workshop on Wireless sensor networks and applications} {\em
 319   (WSNA '02)}. ACM, 32--41.
 320 \newblock
 321
 322
 323 \bibitem[\protect\citeauthoryear{Varga}{Varga}{2003}]%
 324         {varga}
 325 {A. Varga}. 2003.
 326 \newblock \showarticletitle{OMNeT++ Discrete Event Simulation System}.
 327 \newblock {\em Available: http://www.omnetpp.org\/} (2003).
 328 \newblock
 329
 330
 331 \bibitem[\protect\citeauthoryear{Vu, Gao, Deshmukh, and Li}{Vu
 332   et~al\mbox{.}}{2006}]%
 333         {ChinhVu}
 334 {Chinh Vu}, {Shan Gao}, {Wiwek Deshmukh}, {and} {Yingshu Li}. 2006.
 335 \newblock \showarticletitle{Distributed Energy-Efficient Scheduling Approach
 336   for K-Coverage in Wireless Sensor Networks}.
 337 \newblock {\em MILCOM\/}  {0} (2006), 1--7.
 338 \newblock
 339 \showISBNx{1-4244-0617-X}
 340 \showDOI{%
 341 \url{http://dx.doi.org/10.1109/MILCOM.2006.302146}}
 342
 343
 344 \bibitem[\protect\citeauthoryear{Vu}{Vu}{2009}]%
 345         {chin2007}
 346 {C.~T. Vu}. 2009.
 347 \newblock {\em Distributed energy-efficient solutions for area coverage
 348   problems in wireless sensor networks}.
 349 \newblock Ph.D. Dissertation. Georgia State University.
 350 \newblock
 351
 352
 353 \bibitem[\protect\citeauthoryear{Wang}{Wang}{2011}]%
 354         {wang2011coverage}
 355 {Bang Wang}. 2011.
 356 \newblock \showarticletitle{Coverage problems in sensor networks: A survey}.
 357 \newblock {\em ACM Computing Surveys (CSUR)\/} {43}, 4 (2011), 32.
 358 \newblock
 359
 360
 361 \bibitem[\protect\citeauthoryear{Xing, Li, and Wang}{Xing
 362   et~al\mbox{.}}{2010}]%
 363         {5714480}
 364 {Xiaofei Xing}, {Jie Li}, {and} {Guojun Wang}. 2010.
 365 \newblock \showarticletitle{Integer Programming Scheme for Target Coverage in
 366   Heterogeneous Wireless Sensor Networks}. In {\em Mobile Ad-hoc and Sensor
 367   Networks (MSN), 2010 Sixth International Conference on}. 79--84.
 368 \newblock
 369 \showDOI{%
 370 \url{http://dx.doi.org/10.1109/MSN.2010.18}}
 371
 372
 373 \bibitem[\protect\citeauthoryear{Xu, Heidemann, and Estrin}{Xu
 374   et~al\mbox{.}}{2001}]%
 375         {xu2001geography}
 376 {Ya Xu}, {John Heidemann}, {and} {Deborah Estrin}. 2001.
 377 \newblock \showarticletitle{Geography-informed energy conservation for ad hoc
 378   routing}. In {\em Proceedings of the 7th annual international conference on
 379   Mobile computing and networking}. ACM, 70--84.
 380 \newblock
 381
 382
 383 \bibitem[\protect\citeauthoryear{Yan, Gu, He, and Stankovic}{Yan
 384   et~al\mbox{.}}{2008}]%
 385         {yan2008design}
 386 {Ting Yan}, {Yu Gu}, {Tian He}, {and} {John~A Stankovic}. 2008.
 387 \newblock \showarticletitle{Design and optimization of distributed sensing
 388   coverage in wireless sensor networks}.
 389 \newblock {\em ACM Transactions on Embedded Computing Systems (TECS)\/} {7}, 3
 390   (2008), 33.
 391 \newblock
 392
 393
 394 \bibitem[\protect\citeauthoryear{Yang and Chin}{Yang and Chin}{2014a}]%
 395         {yang2014novel}
 396 {Changlin Yang} {and} {Kwan-Wu Chin}. 2014a.
 397 \newblock \showarticletitle{Novel Algorithms for Complete Targets Coverage in
 398   Energy Harvesting Wireless Sensor Networks}.
 399 \newblock {\em Communications Letters, IEEE\/} {18}, 1 (January 2014),
 400   118--121.
 401 \newblock
 402 \showISSN{1089-7798}
 403 \showDOI{%
 404 \url{http://dx.doi.org/10.1109/LCOMM.2013.111513.132436}}
 405
 406
 407 \bibitem[\protect\citeauthoryear{Yang and Chin}{Yang and Chin}{2014b}]%
 408         {yangnovel}
 409 {Changlin Yang} {and} {Kwan-Wu Chin}. 2014b.
 410 \newblock \showarticletitle{A Novel Distributed Algorithm for Complete Targets
 411   Coverage in Energy Harvesting Wireless Sensor Networks}. In {\em IEEE ICC
 412   2014- Ad-hoc and Sensor Networking Symposium}. IEEE, 361--366.
 413 \newblock
 414
 415
 416 \bibitem[\protect\citeauthoryear{Yang and Liu}{Yang and Liu}{2014}]%
 417         {Yang2014}
 418 {Mengmeng Yang} {and} {Jie Liu}. 2014.
 419 \newblock \showarticletitle{A Maximum Lifetime Coverage Algorithm Based on
 420   Linear Programming}.
 421 \newblock {\em Journal of Information Hiding an dMultimedia Signal Processing,
 422   Ubiquitous International\/} {5}, 2 (2014), 296--301.
 423 \newblock
 424
 425
 426 \bibitem[\protect\citeauthoryear{Yick, Mukherjee, and Ghosal}{Yick
 427   et~al\mbox{.}}{2008}]%
 428         {yick2008wireless}
 429 {Jennifer Yick}, {Biswanath Mukherjee}, {and} {Dipak Ghosal}. 2008.
 430 \newblock \showarticletitle{Wireless sensor network survey}.
 431 \newblock {\em Computer networks\/} {52}, 12 (2008), 2292--2330.
 432 \newblock
 433
 434
 435 \bibitem[\protect\citeauthoryear{Zhang and Hou}{Zhang and Hou}{2005}]%
 436         {Zhang05}
 437 {H. Zhang} {and} {J.~C. Hou}. 2005.
 438 \newblock \showarticletitle{Maintaining Sensing Coverage and Connectivity in
 439   Large Sensor Networks}.
 440 \newblock {\em Ad Hoc {\&} Sensor Wireless Networks\/} {1}, 1-2 (2005).
 441 \newblock
 442
 443
 444 \bibitem[\protect\citeauthoryear{Zhou, Das, and Gupta}{Zhou
 445   et~al\mbox{.}}{2009}]%
 446         {zhou2009variable}
 447 {Zongheng Zhou}, {Samir~R Das}, {and} {Himanshu Gupta}. 2009.
 448 \newblock \showarticletitle{Variable radii connected sensor cover in sensor
 449   networks}.
 450 \newblock {\em ACM Transactions on Sensor Networks (TOSN)\/} {5}, 1 (2009), 8.
 451 \newblock
 452
 453
 454 \bibitem[\protect\citeauthoryear{Zorbas, Glynos, Kotzanikolaou, and
 455   Douligeris}{Zorbas et~al\mbox{.}}{2010}]%
 456         {zorbas2010solving}
 457 {Dimitrios Zorbas}, {Dimitris Glynos}, {Panayiotis Kotzanikolaou}, {and}
 458   {Christos Douligeris}. 2010.
 459 \newblock \showarticletitle{Solving coverage problems in wireless sensor
 460   networks using cover sets}.
 461 \newblock {\em Ad Hoc Networks\/} {8}, 4 (2010), 400--415.
 462 \newblock
 463
 464
 465 \end{thebibliography}