共 9 条
[2]
Baker N., 1993, Australian Computer Science Communications, V15, P321
[3]
Analyzing logic programs using ''prop''-ositional logic programs and a magic wand
[J].
JOURNAL OF LOGIC PROGRAMMING,
1995, 25 (03)
:249-274
[4]
Global analysis of constraint logic programs
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1996, 18 (05)
:564-614
[5]
Garcia de la Banda M., 1994, THESIS U POLITECNICA
[6]
HEATON A, IN PRESS J LOGIC PRO
[7]
HEINTZE N, 1991, CLP R PROGRAMMERS MA
[8]
Howe JM, 2000, LECT NOTES COMPUT SC, V1782, P200
[9]
King A, 1999, LECT NOTES COMPUT SC, V1576, P59