1. Avellone, A., Fiorino, G., Moscato, U.: A new $$O(n \log {n})$$-space decision procedure for propositional intuitionistic logic. Kurt Gödel Society Collegium Logicum VIII, 17–33 (2004)
2. Bahdanau, D., Cho, K., Bengio, Y.: Neural machine translation by jointly learning to align and translate. CoRR abs/1409.0473 (2014)
3. Lecture Notes in Computer Science;M Barnett,2008
4. Ben-Yelles, C.: Type assignment in the lambda-calculus: syntax and semantics. Ph.D. thesis, University College of Swansea, September 1979
5. Bibel, W.: Automated Theorem Proving. Springer, Heidelberg (2013)