1. Pientka, B., Pfenning, F.: Optimizing higher-order pattern unification (2003)
2. Lecture Notes in Computer Science;G.I. Jojgov,2003
3. Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. In: Proceedings 2nd Annual IEEE Symp. on Logic in Computer Science, LICS 1987, Ithaca, NY, USA, June 22-25, pp. 194–204. IEEE Computer Society Press, New York (1987)
4. Nordström, B., Petersson, K., Smith, J.: Programming in Martin-Löf’s Type Theory: an Introduction. Oxford University Press, Oxford (1990)
5. Studies in Logic and the Foundations of Mathematics,1994