Theory and Practice of Logic Programming (2006), 6 : 645-701 Cambridge University Press
Copyright © 2006 Cambridge University Press
doi:10.1017/S1471068406002730 (About doi)
Published online by Cambridge University Press 16 Oct 2006
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=522024
Copy and paste this citation
AGOSTINO DOVIER,
ENRICO PONTELLI
and GIANFRANCO ROSSI
(2006).
Set unification. Theory and Practice of Logic Programming,
6
,
pp 645-701
doi:10.1017/S1471068406002730
doi:10.1017/S1471068406002730
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
