Declarative Logic Programming with Primitive Recursive Relations on Lists

Declarative Logic Programming with Primitive Recursive Relations on Lists | part of Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming | MIT Press books | IEEE Xplore