CiteSeer.IST Home
Check:
The following citations are predicted to all refer to the same paper.
Details
S. Greco, C. Mateis, E. Spadafora,
Unification of Bounded Simple Set Terms in Deductive Databases
, Technical Report ISI-CNR, 1996.
CiteSeer.IST - Copyright
Penn State
and
NEC