Hussain, Syed Sajjad International Max Planck Research School, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Hussain, S. S. (2005). Enconding a Hierarchical Proof Data Structure for Contextual Reasoning in a Logical Framework. Master Thesis, Universität des Saarlandes, Saarbrücken.