@inproceedings{LOPSTR-2012-GieslSSEF,
author = "Jürgen Giesl and Thomas Ströder and Peter Schneider-Kamp and Fabian Emmes and Carsten Fuhs",
booktitle = "{Revised Selected Papers of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-642-38197-3_1",
isbn = "['978-3-642-38196-6', '978-3-642-38197-3']",
pages = "1",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs}",
volume = 7844,
year = 2012,
}
Tags: