@proceedings{tableaux99,
  title = "Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'99",
  year = "1999",
  booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'99",
  editor = "N. V. Murray",
  isbn = "3-540-66086-0",
  key = "Proceedings of Tableaux'99",
  month = "JUN",
  number = "1617",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Artificial Intelligence",
}