Combining logical and algebraic techniques for natural style proving in elementary analysis
scientific article; zbMATH DE number 5566433