@inproceedings{DBLP:conf/dbpl/KiringaR03,
author = {Iluju Kiringa and
Raymond Reiter},
title = {A Unifying Semantics for Active Databases Using Non-Markovian
Theories of Actions},
booktitle = {DBPL},
year = {2003},
pages = {110-129},
ee = {http://dx.doi.org/10.1007/978-3-540-24607-7_8},
crossref = {DBLP:conf/dbpl/2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dbpl/2003,
editor = {Georg Lausen and
Dan Suciu},
title = {Database Programming Languages, 9th International Workshop,
DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised
Papers},
booktitle = {DBPL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2921},
year = {2004},
isbn = {3-540-20896-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}