@inproceedings{riedel2014wolfe,
  title={WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming.},
  author={Riedel, Sebastian Robert and Singh, Sameer and Srikumar, Vivek and Rockt{\"a}schel, Tim and Visengeriyeva, Larysa and Noessner, Jan},
  booktitle={StarAI 2014},
  year={2014}
}

{"_id":"dN26YTmBQg797MmSu","bibbaseid":"riedel-singh-srikumar-rocktschel-visengeriyeva-noessner-wolfestrengthreductionandapproximateprogrammingforprobabilisticprogramming-2014","downloads":0,"creationDate":"2016-02-09T06:00:31.441Z","title":"WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming.","author_short":["Riedel, S. R.","Singh, S.","Srikumar, V.","Rocktäschel, T.","Visengeriyeva, L.","Noessner, J."],"year":2014,"bibtype":"inproceedings","biburl":"https://bibbase.org/f/EFCPtS4jFngAEvpTk/rockt.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming.","author":[{"propositions":[],"lastnames":["Riedel"],"firstnames":["Sebastian","Robert"],"suffixes":[]},{"propositions":[],"lastnames":["Singh"],"firstnames":["Sameer"],"suffixes":[]},{"propositions":[],"lastnames":["Srikumar"],"firstnames":["Vivek"],"suffixes":[]},{"propositions":[],"lastnames":["Rocktäschel"],"firstnames":["Tim"],"suffixes":[]},{"propositions":[],"lastnames":["Visengeriyeva"],"firstnames":["Larysa"],"suffixes":[]},{"propositions":[],"lastnames":["Noessner"],"firstnames":["Jan"],"suffixes":[]}],"booktitle":"StarAI 2014","year":"2014","bibtex":"@inproceedings{riedel2014wolfe,\n title={WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming.},\n author={Riedel, Sebastian Robert and Singh, Sameer and Srikumar, Vivek and Rockt{\\\"a}schel, Tim and Visengeriyeva, Larysa and Noessner, Jan},\n booktitle={StarAI 2014},\n year={2014}\n}\n\n","author_short":["Riedel, S. R.","Singh, S.","Srikumar, V.","Rocktäschel, T.","Visengeriyeva, L.","Noessner, J."],"key":"riedel2014wolfe","id":"riedel2014wolfe","bibbaseid":"riedel-singh-srikumar-rocktschel-visengeriyeva-noessner-wolfestrengthreductionandapproximateprogrammingforprobabilisticprogramming-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["wolfe","strength","reduction","approximate","programming","probabilistic","programming","riedel","singh","srikumar","rocktäschel","visengeriyeva","noessner"],"keywords":[],"authorIDs":[],"dataSources":["MhetGwzdnqQv3dJWT","9FGdipwZv43gCKLff","CnmhbXT8Az9hfrJyh"]}