Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=522016
Copy and paste this citation
TOM SCHRIJVERS,
BART DEMOEN,
MARIA GARCIA DE LA BANDA
and PETER J. STUCKEY
(2006).
Improving PARMA trailing. Theory and Practice of Logic Programming, 6
,
pp 609-644
doi:10.1017/S1471068405002620