Schrijvers, Tom and Demoen, Bart and De la Banda, Maria Garcia and Stuckey, Peter J.. Improving PARMA trailing. In Theory and Practice of Logic Programming, 6, pp. 609-644, 2006.

BibTeX

@article{_123989,
  author = {Schrijvers, Tom and Demoen, Bart and De la Banda, Maria Garcia and Stuckey, Peter J.},
  title = {Improving {PARMA} trailing},
  journal = {Theory and Practice of Logic Programming},
  volume = {6},
  pages = {609-644},
  month = {Nov},
  year = {2006},
  doi = {10.1017/S1471068405002620},
  url = {https://lirias.kuleuven.be/handle/123456789/123989},
}