Deepak Kapur Paliath Narendran Daniel J. Rosenkrantz Hantao Zhang Sufficient-Completeness, Ground-Reducibility and their Complexity. 311-350 1991 28 Acta Inf. 4 db/journals/acta/acta28.html#KapurNRZ91