  The aim of this article is to show, how computer algebra can be used when
applying Liu's procedure. Although Mathematica (a commercial product by Wolfram
Research Inc.) is used, it is possible to use other computer algebra systems as
well.
