Implementing a Lazy Functional Logic Language with Disequality Constraints.

Herbert Kuchen, Francisco Javier Lpez-Fraguas, Juan Jos Moreno-Navarro, Mario Rodrguez-Artalejo

Browse the full ICLP paper archive.