@InProceedings{BeckertPape96,
  author	= {Bernhard Beckert and Christian Pape},
  title		= {Incremental Theory Reasoning Methods for Semantic Tableaux},
  editor	= {P. Miglioli and U. Moscato and D. Mundici and M. Ornaghi},
  booktitle	= {Proceedings, 5th Workshop on Theorem Proving with Analytic
		   Tableaux and Related Methods, Terrasini, Palermo, Italy},
  series	= {LNCS 1071},
  pages		= {93--109},
  publisher	= {Springer},
  year		= {1996}
}


@InProceedings{HaehnlePape96,
  author =	"Reiner H{\"{a}}hnle and Christian Pape",
  title =	"Ordered Tableaux: Extensions and Applications",
  editor =	"Didier Galmiche",
  booktitle =	"Proc.\ International Conference on Automated Reasoning
		 with Analytic Tableaux and Related Methods,
		 Pont-\`{a}-Mousson, France",
  publisher =	"Springer",
  volume =	"1227",
  pages =	"173--187",
  series =	"LNCS",
  year = 	"1997",
}

@InProceedings{PapeHaehnle96,
  author =	"Christian Pape and Reiner H{\"{a}}hnle",
  title =	"Restart Tableaux with Selection Function",
  editor =	"Georg Gottlob and Alexander Leitsch and Daniele
		 Mundici",
  booktitle =	"Fifth {K}urt-{G}{\"o}del-{C}olloquium, {KGC}'97, Vienna",
  publisher =	"Springer",
  series =	"LNCS",
  volume =	"1289",
  pages =	"219--232",
  year = 	"1997",
}

@InProceedings{PapeSchmitt98,
  title =	"Interaktive {V}isualisierungen in der {L}ehre der
		 {T}heoretischen {I}nformatik",
  author =	"Christian Pape and Peter H. Schmitt",
  booktitle =	"Informatik und Ausbildung",
  booktitle =	"Informatik und Ausbildung, {GI}-Fachtagung 98,
		 Informatik und Ausbildung, Stuttgart, 30. {M}{\"a}rz -
		 1. April 1998",
  publisher =	"Springer",
  year = 	"1998",
  editor =	"Volker Claus",
  pages =	"102--111",
  series =	"Informatik Aktuell",
}

@InProceedings{PapeSchmitt97,
  author =	"Christian Pape and Peter H. Schmitt",
  title =	"{V}isualizations for {P}roof {P}resentation in
		 {T}heoretical {C}omputer {S}cience {E}ducation",
  editor =	"Z. Halim and Th. Ottmann and Z. Razak",
  booktitle =	"Proceedings of International Conference on Computers
		 in Education, Kuching, Sarawak, Malaysia, December 2--6",
  year = 	"1997",
  pages =	"229--236",
  publisher =	"Association for the Advancement of Computing in
		 Education",
}

@inproceedings{ Pape98,
    author = "Christian Pape",
    title = "{U}sing {I}nteractive {V}isualization for {T}eaching the {T}heory of {NP}-completeness",
    booktitle = "Proceedings of {ED}-{MEDIA}/{ED}-{TELECOM} 98",
    volume = "2",
    publisher = "Association for the Advancement of Computing in Education",
    editor = "Thomas Ottmann and Ivan Tomek",
    pages = "1070--1075",
    year = "1998",
}