@inproceedings{3fc00c4973964af58c72a8a4f376a00b,
title = "On Condensing a Sequence of Updates in Answer-Set Programming",
author = "Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro}",
year = "2013",
month = jan,
day = "1",
language = "Unknown",
isbn = "978-1-57735-633-2",
pages = "1094--1103",
editor = "F Rossi",
booktitle = "Proceedings of the International Joint Conference on Artificial Intelligence",
publisher = "IJCAI/AAAI",
note = "International Joint Conference on Artificial Intelligence (IJCAI) ; Conference date: 01-01-2013",
}