@misc{indiciae5770aad38783,
  title = {Lifted Variable Elimination: A Novel Operator and Completeness Results},
  author = {Nima Taghipour and Daan Fierens and Guy Van den Broeck and Jesse Davis and Hendrik Blockeel},
  year = {2012},
  url = {https://arxiv.org/abs/1208.3809},
  note = {Source identifier: 1208.3809}
}