S. Bowman, C. Manning, and C. Potts. (2015)cite arxiv:1506.04834Comment: To appear in the proceedings of the 2015 NIPS Workshop on Cognitive Computation: Integrating Neural and Symbolic Approaches.
V. Rybalkin, N. Wehn, M. Yousefi, and D. Stricker. Proceedings of the Conference on Design, Automation & Test in Europe, page 1394--1399. European Design and Automation Association, (2017)