On the Indiscernibility of Individuals in Logic Programming

Detalles Bibliográficos
Autores principales: Eiter, T, Gottlob, G, Leone, N
Formato: Journal article
Publicado: 1997