1. Akbik, A., Konomi, O., Melnikov, M.: Propminer: a workflow for interactive information extraction and exploration using dependency trees. In: Proceedings of the ACL: System Demonstrations (2013)
2. Bensalem, S., Ganesh, V., Lakhnech, Y., Munoz, C., Owre, S., Rueß, H., Rushby, J., Rusu, V., Saïdi, H., Shankar, N., Singerman, E., Tiwari, A.: An overview of SAL. In: LFM (2000)
3. Ghosh, S., Elenius, D., Li, W., Lincoln, P., Shankar, N., Steiner, W.: Automatically extracting requirements specifications from natural language. CoRR abs/1403.3142 (2014)
4. Li, W., Dworkin, L., Seshia, S.: Mining assumptions for synthesis. In: MEMOCODE (2011)
5. Lecture Notes in Computer Science;N Piterman,2006