Bucket elimination: A unifying framework for reasoning
scientific article; zbMATH DE number 1454210