WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming, Sebastian Riedel, Sameer Singh, Vivek Srikumar, Tim Rocktaschel, Larysa Visengeriyeva and Jan Noessner, International Workshop on Statistical Relational AI (StarAI) 2014
@inproceedings{riedel14wolfe,
    month={July}, 
    year={2014}, 
    author={Sebastian Riedel and Sameer Singh and Vivek Srikumar and Tim Rocktaschel and Larysa Visengeriyeva and Jan Noessner}, 
    booktitle={International Workshop on Statistical Relational AI (StarAI)}, 
    title={WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming}, 
}