Hasan Amjad Verification of AMBA Using a Combination of Model Checking and Theorem Proving. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:45-61 [Journal]
Hasan Amjad A Compressing Translation from Propositional Resolution to Natural Deduction. [Citation Graph (0, 0)][DBLP] FroCos, 2007, pp:88-102 [Conf]