Fabio Baj

	1992
2		Fabio Baj, Michael Rosner: Automatic Theorem Proving within the Portable AI Lab. Logic Programming Summer School 1992: 313-324
	1990
1		Fabio Baj, Massimo Bruschi, Antonella Zanzi: Design and development of ENprover, an automated theorem proving system based on EN-strategy. DISCO 1990: 278-279

Coauthor Index

1	Massimo Bruschi	[1]
2	Michael Rosner	[2]
3	Antonella Zanzi	[1]

Colors in the list of coauthors