Integration of reasoning and algebraic calculus in geometry
1997 ◽
pp. 218-234