Ulrich Geske, Hans-Joachim Goltz. A Guide for Manual Construction of Difference-List Procedures. In Dietmar Seipel, Michael Hanus, Armin Wolf, editors, Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers. Volume 5437 of Lecture Notes in Computer Science, pages 1-20, Springer, 2007. [doi]
@inproceedings{GeskeG07,
title = {A Guide for Manual Construction of Difference-List Procedures},
author = {Ulrich Geske and Hans-Joachim Goltz},
year = {2007},
doi = {10.1007/978-3-642-00675-3_1},
url = {http://dx.doi.org/10.1007/978-3-642-00675-3_1},
researchr = {https://researchr.org/publication/GeskeG07},
cites = {0},
citedby = {0},
pages = {1-20},
booktitle = {Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers},
editor = {Dietmar Seipel and Michael Hanus and Armin Wolf},
volume = {5437},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-00674-6},
}