@techreport{ belieftr04,
  title = {Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer}
}
,
  url = {beltr.pdf}
}
,
  author = {Arnold Binas and Thomas Ioerger}
}
,
  opttype = {Technical Reports}
}
,
  number = {TSSTI-TR-10-04}
}
,
  year = {2004}
}
,
  institution = {Department of Computer Science, Texas A&M University}
}