On the Undecidability of Coherent Logic - Bezem, Marc (Processes, Terms and Cycles: Steps on the Road to Infinity, 2005)
Keywords: Function Symbol; Horn Clause; Mathematical Linguistics; Program Counter; Proof System