Skip to main content

On the Indiscernibility of Individuals in Logic Programming

Thomas Eiter‚ Georg Gottlob and Nicola Leone

Journal
J. Log. Comput.
Number
6
Pages
805−824
Volume
7
Year
1997