Declarative Logic Programming with Primitive Recursive Relations on Lists.

Andreas Hamfelt, Jrgen Fischer Nilsson

Browse the full ICLP paper archive.