Naish, Lee "Adding equations to NU-Prolog", Technical Report 91/2, Department of Computer Science, University of Melbourne 1991
(1991)
Languages mentioned
NUE-Prolog
{1991}