Eriksson, Lars-Henrik "A finitary version of the calculus of partial inductive definitions" SICS R92-08 1992
(1992)
Languages mentioned
GCLA
{1991}