Bound the number of limit cycles by algebraic criterion.
Estimate the number of isolated zeroes of Abelian integral by interval analysis.
A Lienard system of type (4, 3) could have at most six limit cycles at finite plane.
The drawbacks in some works are commented.