First-order jk-clausal theories are PAC-learnable

Abstract
No abstract available