On the Indiscernibility of Individuals in Logic Programming

Bibliografiska uppgifter
Huvudupphovsmän: Eiter, T, Gottlob, G, Leone, N
Materialtyp: Journal article
Publicerad: 1997