Automated Termination Proofs for Logic Programs by Term Rewriting

Automated Termination Proofs for Logic Programs by Term Rewriting

2 March 2008

Peter Schneider-Kamp

Alexander Serebrenik

Papers citing "Automated Termination Proofs for Logic Programs by Term Rewriting"

Title
No papers