Andreas Hamfelt, Jørgen Fischer Nilsson
Declarative Logic Programming with Primitive Recursive Relations on Lists
ICLP, 1996.
@inproceedings{JICSLP-1996-HamfeltN,
author = "Andreas Hamfelt and Jørgen Fischer Nilsson",
booktitle = "{Proceedings of the Joint International 13th Conference and Symposium on Logic Programming}",
isbn = "0-262-63173-3",
pages = "230--243",
publisher = "{MIT Press}",
title = "{Declarative Logic Programming with Primitive Recursive Relations on Lists}",
year = 1996,
}