共 26 条
[1]
[Anonymous], SYMBOLIC LOGIC MECHA
[2]
Apt Krzysztof R, 1988, FDN DEDUCTIVE DATABA, P89, DOI [10.1016/B978-0-934613-40-8.50006-3, DOI 10.1016/B978-0-934613-40-8.50006-3]
[3]
CHOLAK P, 1988, POST CORRES PROBLEMS
[4]
Clark K. L., 1978, Logic and data bases, P293
[5]
DUNG PM, 1989, LECT NOTES COMPUT SC, V405, P78
[6]
DUNG PM, 1990, 1ST ORDER DEFIABILIT
[7]
DUNG PM, 1989, P N AM C LOGIC PROGR, P601
[8]
DUNG PM, 1990, P EUROPEAN C ARTIFIC, V90, P443
[9]
FAGES F, 1990, WORKSHOP NONMONOTONI
[10]
Fitting M., 1985, Journal of Logic Programming, V2, P295, DOI 10.1016/S0743-1066(85)80005-4