Michael Seyfried

	1996
3		Alain Heuerding, Michael Seyfried, Heinrich Zimmermann: Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. TABLEAUX 1996: 210-225
2		Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried: A Logics Workbench. AI Commun. 9(2): 53-58 (1996)
	1995
1		Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried: Propositional Logics on the Computer. TABLEAUX 1995: 310-323

Coauthor Index

1	Alain Heuerding	[1] [2] [3]
2	Gerhard Jäger	[1] [2]
3	Michael Schwendimann	[2]
4	Stefan Schwendimann	[1]
5	Heinrich Zimmermann	[3]