@inproceedings{1e996d2697c14f5188cab47a0aaf5ceb,
title = "Runtime Addition of Integrity Constraints in Abductive Logic Programs",
author = "Marco Alberti",
year = "2010",
month = jan,
day = "1",
doi = "10.4230/LIPIcs.ICLP.2010.4",
language = "Unknown",
isbn = "978-3-939897-17-0",
volume = "7",
pages = "4--13",
editor = "M Hermenegildo and T Schaub",
booktitle = "Leibniz International Proceedings in Informatics (LIPIcs)",
publisher = "Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik",
note = "International Conference on Logic Programming ; Conference date: 01-01-2010",
}