Bellot, Patrick and Legrand, Remi "Functions and Relations: The GRAAL System" STACS 1988 pp389-390
(1988)
Languages mentioned
GRAAL
{1986} General Recursive Applicative and Algorithmic Language