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 PPDP paper archive.