Skolemization for weighted first-order model counting (bibtex)

@inproceedings{VdBKR14,
  author = "Van den Broeck, Guy and Meert, Wannes and Darwiche, Adnan",
  title = "Skolemization for weighted first-order model counting",
  booktitle = "Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)",
  location="Vienna, Austria",
  month = Jul,
  year = "2014",
  url = "http://starai.cs.ucla.edu/papers/VdBKR14.pdf",
  keywords   = {conference,selective}
}