Theory and Practice of Logic Programming (2007), 7 : 583-632 Cambridge University Press
doi:10.1017/S1471068406002997 (About doi)
Published online by Cambridge University Press 24 Aug 2007
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=1317380
Copy and paste this citation
KHALIL DJELLOUL
(2007).
Decomposable theories. Theory and Practice of Logic Programming,
7
,
pp 583-632
doi:10.1017/S1471068406002997
doi:10.1017/S1471068406002997
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
