Neng-Fa Zhou "Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching" ICTAI 1993 ''312-319
(1993)
Languages mentioned
Beta-Prolog
{1992}