@inproceedings{rocktaschel2016learning,
    month={June}, 
    year={2016}, 
    author={Rocktaschel, Tim and Riedel, Sebastian}, 
    booktitle={Proceedings of the 5th Workshop on Automated Knowledge Base Construction (AKBC)}, 
    title={Learning Knowledge Base Inference with Neural Theorem Provers}, 
}