Extensional Semantics for Higher-Order Logic Programs with Negation.

Panos Rondogiannis, Ioanna Symeonidou

Browse the full JELIA paper archive.