SLD-Resolution with Reflection (1995)

Cached

Download Links

by Jonas Barklund , Stefania Costantini , Pierangelo Dell'Acqua , Gaetano A. Lanzarone , Universit`a Studi Milano
Venue:Logic Programming -- Proc. 1994 Intl. Symp., 554--568
Citations:5 - 5 self