C. Endres, T. Schwartz, and C. Müller. Proceedings of IUI '11: 16th International Conference on Intelligent User Interfaces, Palo Alto, CA, USA, page 327-330. (2011)
E. Omodeo, and J. Schwartz. Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 214-230. Springer, (2002)