A worked out example on variable elimination

Here is a write-up that explains the operation of variable elimination algorithm in excruciating detail

http://rakaposhi.eas.asu.edu/cse471/varelim-example.pdf

Rao