See the slides:
 http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpi/1314zs/pr/doc/handout.pr07.pdf