Gabbay, DM; Reyle, U "Computation with run time skolemisation (N-Prolog part 3)" Journal of Applied Non-Classical Logics, 1993
(1993)
Languages mentioned
N-Prolog
{1985}