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