Publication in BibTeX Format

@INCOLLECTION{AICPub973:2003,
  AUTHOR={Waldinger, R., Jarvis, P., and Dungan, J.},
  EDITOR={N. Dershowitz},
  TITLE={Program Synthesis for Multi-Agent Question Answering},
  BOOKTITLE={International Symposium on Verification (Theory and Practice); Festschrift
     celebrating Zohar Manna’s 64th Birthday},
  ADDRESS={Taormina, Sicily, Italy},
  PUBLISHER={Springer Verlag, Lecture Notes in Computer Science},
  MONTH={July},
  YEAR={2003},
  ABSTRACT={Techniques that were developed for program synthesis are being applied
     to allow multiple agents to communicate with each other and cooperate to solve
     a single problem. We illustrate the use of program synthesis techniques in
     a system that answers questions about geography.}
}