共 45 条
[2]
Alcantara Joao, 2021, 19 INT WORKSHOP NONM, P139
[3]
ON THE CORRECTNESS OF UNFOLD/FOLD TRANSFORMATION OF NORMAL AND EXTENDED LOGIC PROGRAMS
[J].
JOURNAL OF LOGIC PROGRAMMING,
1995, 24 (03)
:201-217
[4]
Beirlaen M, 2018, J APPL LOG-IFCOLOG, V5, P629
[7]
Characterizations of the disjunctive stable semantics by partial evaluation
[J].
JOURNAL OF LOGIC PROGRAMMING,
1997, 32 (03)
:207-228
[8]
Semantics of (disjunctive) logic programs based on partial evaluation
[J].
JOURNAL OF LOGIC PROGRAMMING,
1999, 40 (01)
:1-46
[9]
Brass S., 1994, Innovationen Bei Rechen-und Kommunikationssystemen, P83
[10]
Brass S., 1995, ICLP, P199