Aleksandar Krapez

	1992
1		Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic: Prover 91 - A Parallel Theorem Prover (Extended Abstract). TABLEAUX 1992: 43-45

Coauthor Index

1	Miodrag Kapetanovic	[1]
2	Zoran Ognjanovic	[1]
3	Tatjana Petrovic	[1]