Semantical Properties of SLD-Resolution with Reflection.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Browse the full ICLP paper archive.