Neng-Fa Zhou, Isao Nagasawa "An Efficient Finite-Domain Constraint Solver in Beta-Prolog" JJSAI 9(2) 1994
(1994)
Languages mentioned
Beta-Prolog
{1992}