@inproceedings{DBLP:conf/sbia/Bedrax-WeissB95,
author = {Tania Bedrax-Weiss and
Leopoldo E. Bertossi},
title = {Underlying Semantics for the Assessment of Reiter's Solution
to the Frame Problem},
booktitle = {SBIA},
year = {1995},
pages = {59-68},
ee = {http://dx.doi.org/10.1007/BFb0034799},
crossref = {DBLP:conf/sbia/1995},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sbia/1995,
editor = {Jacques Wainer and
Ariadne Carvalho},
title = {Advances in Artificial Intelligence, 12th Brazilian Symposium
on Artificial Intelligence, SBIA '95, Campinas, Brazil,
October 10-12, 1995, Proceedings},
booktitle = {SBIA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {991},
year = {1995},
isbn = {3-540-60436-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}