Mojtaba Aghaei Mohammad Ardeshir A Gentzen-style axiomatization for basic predicate calculus. 245-259 2003 42 Arch. Math. Log. 3 http://dx.doi.org/10.1007/s001530100132 db/journals/aml/aml42.html#AghaeiA03