@article{smith-etal-1995-architecture,
    title = "An Architecture for Voice Dialog Systems Based on {P}rolog-Style Theorem Proving",
    author = "Smith, Ronnie W.  and
      Hipp, D. Richard  and
      Biermann, Alan W.",
    journal = "Computational Linguistics",
    volume = "21",
    number = "3",
    year = "1995",
    address = "Cambridge, MA",
    publisher = "MIT Press",
    url = "https://aclanthology.org/J95-3001",
    pages = "281--320",
}