Azaria Paz An alternative version of Lauritzen et al.'s algorithm for checking representation of independencies. 344-349 2003 7 Soft Comput. 5 http://dx.doi.org/10.1007/s00500-002-0222-6 db/journals/soco/soco7.html#Paz03