On the Indiscernibility of Individuals in Logic Programming

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