Undecidability of the Horn-Clause Implication Problem

Jerzy Marcinkowski, Leszek Pacholski

Browse the full FOCS paper archive.