Barua, RanaRoy, SumanZhou, Chaochen2012-05-062012-05-062000Journal of Logic and Computation,V10,P271-295http://hdl.handle.net/10263/3815enCompletenessLogicArticle