Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. TPLP, 18(3-4):421-437, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.