Giorgio Dalzotto

	2009
2		Giorgio Dalzotto, Tomás Recio: On Protocols for the Automated Discovery of Theorems in Elementary Geometry. J. Autom. Reasoning 43(2): 203-236 (2009)
	2000
1		Laura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano: Remarks on Geometric Theorem Proving. Automated Deduction in Geometry 2000: 104-128

Coauthor Index

1	Laura Bazzotti	[1]
2	Tomás Recio	[2]
3	Lorenzo Robbiano	[1]

Colors in the list of coauthors