共 160 条
[42]
Clocksin W. F., 1981, Programming in Prolog
[43]
Cook S. A., 1971, P 3 ANN ACM S THEOR, P151, DOI DOI 10.1145/800157.805047
[46]
DINCBAS M, 1988, P INT C 5 GEN COMP S
[47]
Dinkelbach Werner., 1967, Manage. Sci., V13, P492, DOI [10.1287/mnsc.13.7.492, DOI 10.1287/MNSC.13.7.492]
[48]
DOWLING WF, 1984, LOGIC PROGRAMM, V3, P267