Dovier, A et al, {log}: A Logic Programming Language with Finite Sets, Proc 8th Intl Conf Logic Prog, June 1991, pp.111-124
(1991)
Languages mentioned
log
{1991}