@article{DBLP:journals/ijis/HoekMT03,
author = {Wiebe van der Hoek and
John-Jules Ch. Meyer and
Jan Treur},
title = {Formal semantics of meta-level architectures: Temporal epistemic
reflection},
journal = {Int. J. Intell. Syst.},
volume = {18},
number = {12},
year = {2003},
pages = {1293-1317},
ee = {http://dx.doi.org/10.1002/int.10139},
bibsource = {DBLP, http://dblp.uni-trier.de}
}