On the Indiscernibility of Individuals in Logic Programming

Dades bibliogràfiques
Autors principals: Eiter, T, Gottlob, G, Leone, N
Format: Journal article
Publicat: 1997