@Bibtex-file{SE/VV.KBS.bib,
  title =        "Bibliography on Validation and Verification of
                 Knowledge-Based Systems",
  author-1 =     "Andreas Gartus",
  author-2 =     "Hermann Kaindl",
  email-2 =      "kaih@oop.geu.siemens.co.at",
  author-3 =     "Stefan Kramer",
  address =      "Siemens Austria, PSE",
  supported =    "no",
  readme =       "Please make an acknowledgment if you are using this
                 bibliography in papers, reports, etc.\par Comments and
                 contributions to this bibliography are most welcome,
                 and should be mailed to Hermann Kaindl
                 (kaih@oop.geu.siemens.co.at) with the Subject
                 containing the string {"}V\&V KBS BIB{"}). If you want
                 to have entries included, please send them in BibTeX
                 format, so that they can be included without further
                 editing. \par Disclaimer: Although we plan to update
                 this bibliography at least for a while, we do not give
                 any guarantees about how often we will publish an
                 update, or how long we will make updates at all.",
  keywords =     "KBS, knowledge based systems, knowledge base, testing,
                 validation, verification",
}