@inproceedings{6ab0019cfdb245f0ab706293934d93c0,
title = "Robust Equivalence Models for Semantic Updates of Answer-Set Programs",
author = "Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro}",
year = "2012",
month = jan,
day = "1",
language = "Unknown",
isbn = "978-1-57735-560-1",
pages = "158--168",
editor = "G Brewka and T Eiter and SA McIlraith",
booktitle = "Knowledge Representation and Reasoning Conference",
publisher = "AAAI Press",
note = "Principles of Knowledge Representation and Reasoning (KR) ; Conference date: 01-01-2012",
}