On the Indiscernibility of Individuals in Logic Programming

Bibliographische Detailangaben
Hauptverfasser: Eiter, T, Gottlob, G, Leone, N
Format: Journal article
Veröffentlicht: 1997