Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs.

Jrgen Giesl, Thomas Strder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs

Browse the full LOPSTR paper archive.