共 56 条
[1]
Anderson A. R., 1975, Entailment: The Logic of Relevance and Necessity, VI
[2]
[Anonymous], SUBSTRUCTURAL LOGICS
[3]
APT KR, 1994, HDB THEORETICAL COMP, P493
[4]
Apt KR., 1997, From Logic Programming to Prolog. Prentice Hall International series in computer science
[5]
BARENDREGT HP, 1981, N HOLLAND STUDIES LO, V103
[6]
BRILHANTE V, 2001, IN PRESS ENV INFORMA
[7]
BRILHANTE V, 1999, AAAI 99 WORKSH ENV D
[8]
BRILHANTE V, 1998, 197 U EDINBURGH
[9]
Bundy A., 1985, Journal of Automated Reasoning, V1, P263, DOI 10.1007/BF00244272