@conference{JaHe04,
	author = {Jordan Janeiro and Edward Hermann Heusler},
	title = {Proof as Problem Solutions},
	year = {2004},
	address = {Rio de Janeiro, Brazil}
}