Title: An application of FORMAC to the determination of Lyapunov functions and domains of stability by the method of ZubovAdvisor: Infante, Ettore