Pham Tu Cuong

Sound, and desegregation formulae based on classical logic. Horn clause logic programs have only