共 27 条
[15]
Hitzler Pascal, 2011, Mathematical aspects of logic programming semantics, DOI DOI 10.1201/B10397
[18]
Kopperman R., 2004, APPL GEN TOPOL, V5, P115, DOI [10.4995/agt.2004.2000, DOI 10.4995/AGT.2004.2000]
[19]
Kopperman R. D., 2004, 19 SUMM C TOP ITS AP