A Sequent Formulation of a Logic of Predicates in HOL.

Ching-Tsun Chou A Sequent Formulation of a Logic of Predicates in HOL. 71-80 1992 conf/tphol/1992 TPHOLs db/conf/tphol/tphol92.html#Chou92a