Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs.

Jorge Fandinno, Vladimir Lifschitz

Browse the full KR paper archive.