@inproceedings{rocktaschel2017nips,
    month={December}, 
    year={2017}, 
    author={Rocktaschel, Tim and Riedel, Sebastian}, 
    booktitle={Advances in Neural Information Processing Systems (NIPS)}, 
    title={End-to-end Differentiable Proving}, 
}