  We present a semi-decision procedure to tackle first order differential
equations, with Liouvillian functions in the solution (LFOODEs). As in the case
of the Prelle-Singer procedure, this method is based on the knowledge of the
integrating factor structure.
