@incollection{Mehlhorn/92,
AUTHOR = {Mehlhorn, Kurt},
TITLE = {Recent developments in algorithms for the maximum-flow problem},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {404},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pnueli/92,
AUTHOR = {Pnueli, Amir},
TITLE = {System specification and refinement in temporal logic},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {1-38},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dam/92a,
AUTHOR = {Dam, Mads},
TITLE = {Fixed points of B{\"u}chi automata},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {39-50},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ramakrishna-Dillon-Moser-Melliar-Smith-Kutty/92,
AUTHOR = {Ramakrishna, Y.S. and Dillon, L.K. and Moser, L.E. and Melliar-Smith, P.M. and Kutty, G.},
TITLE = {An automata-theoretic decision procedure for Future Interval Logic},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {51-67},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Granger/92,
AUTHOR = {Granger, Philippe},
TITLE = {Improving the results of static analyses of programs by local decreasing iterations},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {68-79},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agarwal-Kreveld/92,
AUTHOR = {Agarwal, Pankaj K. and Kreveld, Marc van},
TITLE = {Implicit point location in arrangements of line segments, with an application to motion planning},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {80-91},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jadhav-Mukhopadhyay-Bhattacharya/92,
AUTHOR = {Jadhav, Shreesh and Mukhopadhyay, Asish and Bhattacharya, Binay},
TITLE = {An optimal algorithm for the intersection radius of a set of convex polygons},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {92-103},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Levcopoulos-Lingas/92a,
AUTHOR = {Levcopoulos, Christos and Lingas, Andrzej},
TITLE = {C-sensitive triangulations approximate the minmax length triangulation},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {104-115},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=104},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buhrman-Homer/92,
AUTHOR = {Buhrman, Harry and Homer, Steven},
TITLE = {Superpolynomial circuits, almost sparse oracles and the exponential hierarchy},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {116-127},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Schuler-Yamakami/92,
AUTHOR = {Schuler, Rainer and Yamakami, Tomoyuki},
TITLE = {Structural average case complexity},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {128-139},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=128},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arvind-Kobler-Mundhenk/92,
AUTHOR = {Arvind, V. and K{\"o}bler, J. and Mundhenk, M.},
TITLE = {On bounded truth-table, conjunctive, and randomized reductions to sparse sets},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {140-151},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ganesan/92,
AUTHOR = {Ganesan, K.},
TITLE = {One-way functions and isomorphism conjecture},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {152-163},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=152},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agarwala-Fernandez-Baca/92,
AUTHOR = {Agarwala, Richa and Fern{\'a}ndez-Baca, David},
TITLE = {Solving the Lagrangian dual when the number of constraints is fixed},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {164-175},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=164},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lakshmanan-Nonen/92,
AUTHOR = {Lakshmanan, Laks V.S. and Nonen, Daniel A.},
TITLE = {Superfiniteness of query answers in deductive databases: an automata-theoretic approach},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {176-190},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=176},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Steinbach/92,
AUTHOR = {Steinbach, Joachim},
TITLE = {Proving polynomials positive},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {191-202},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sundararajan-Conery/92,
AUTHOR = {Sundararajan, Renganathan and Conery, John S.},
TITLE = {An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {203-216},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=203},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Monsuez/92,
AUTHOR = {Monsuez, B.},
TITLE = {Polymorphic typing by abstract interpretation},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {217-228},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=217},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Huet/92,
AUTHOR = {Huet, G{\'e}rard},
TITLE = {The Gallina specification language: A case study},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {229-240},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=229},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Reif/92,
AUTHOR = {Reif, Wolfgang},
TITLE = {Verification of large software systems},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {241-252},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=241},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Garg-Waldecker/92,
AUTHOR = {Garg, Vijay K. and Waldecker, Brian},
TITLE = {Detection of unstable predicates in distributed programs},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {253-264},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=253},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Patkar-Narayanan/92,
AUTHOR = {Patkar, Sachin and Narayanan, H.},
TITLE = {Fast sequential and randomized parallel algorithms for rigidity and approximate min $k$-cut},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {265-278},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=265},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ravi-Raghavachari-Klein/92,
AUTHOR = {Ravi, R. and Raghavachari, B. and Klein, P.},
TITLE = {Approximation through local optimality: Designing networks with small degree},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {279-290},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abramsky-Jagadeesan/92,
AUTHOR = {Abramsky, Samson and Jagadeesan, Radha},
TITLE = {Games and full completeness for multiplicative linear logic},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {291-301},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=291},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Godskesen-Larsen/92,
AUTHOR = {Godskesen, Jens C. and Larsen, Kim G.},
TITLE = {Real-time calculi and expansion theorems},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {302-315},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=302},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caucal/92,
AUTHOR = {Caucal, Didier},
TITLE = {Branching bisimulation for context-free processes},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {316-327},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=316},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mukund-Nielsen/92,
AUTHOR = {Mukund, Madhavan and Nielsen, Mogens},
TITLE = {CCS, locations and asynchronous transition systems},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {328-341},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Christoff-Christoff/92,
AUTHOR = {Christoff, Linda and Christoff, Ivan},
TITLE = {Reasoning about safety and liveness properties for probabilistic processes},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {342-355},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=342},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Muthukrishnan-Ramesh/92,
AUTHOR = {Muthukrishnan, S. and Ramesh, H.},
TITLE = {String matching under a general matching relation},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {356-367},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=356},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Martel-Subramonian/92,
AUTHOR = {Martel, Charles and Subramonian, Ramesh},
TITLE = {On the complexity of certified write all algorithms},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {368-379},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=368},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Munro-Raman/92,
AUTHOR = {Munro, J. Ian and Raman, Venkatesh},
TITLE = {Selection from read-only memory and sorting with optimum data movement},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {380-391},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=380},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ravikumar/92,
AUTHOR = {Ravikumar, B.},
TITLE = {Some observations on 2-way probabilistic finite automata},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {392-403},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=392},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}