Ortrun Ibens

	2002
8		Ortrun Ibens: Connection Tableau Calculi with Disjunctive Constraints. Studia Logica 70(2): 241-270 (2002)
	2001
7		Ortrun Ibens, Marc Fuchs: An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints. International Journal on Artificial Intelligence Tools 10(1-2): 181-198 (2001)
	2000
6		Ortrun Ibens: Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. FLAIRS Conference 2000: 13-17
5		Ortrun Ibens: Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints. TABLEAUX 2000: 279-293
	1997
4		Ortrun Ibens, Reinhold Letz: Subgoal Alternation in Model Elimination. TABLEAUX 1997: 201-215
3		Ortrun Ibens: The SETHEO System (system description). WLP 1997: 0-
2		Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr: SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reasoning 18(2): 237-246 (1997)
	1994
1		Reiner Hähnle, Ortrun Ibens: Improving Temporal Logic Tableaux Using Integer Constraints. ICTL 1994: 535-539

Coauthor Index

1	Marc Fuchs	[7]
2	Christoph Goller	[2]
3	Reiner Hähnle	[1]
4	Reinhold Letz	[2] [4]
5	Klaus Mayr	[2]
6	Max Moser	[2]
7	Johann Schumann	[2]
8	Joachim Steinbach	[2]

Colors in the list of coauthors