@INPROCEEDINGS{ki97,
AUTHOR        = {David Basin and Sean Matthews and Luca Vigano},
TITLE         = {Labelled Quantified Modal Logics},
BOOKTITLE     = {21st German Annual Conference on Artificial Intelligence},
YEAR          = {1997},
PAGES         = {171 -- 182},
PUBLISHER = "Springer-Verlag",
SERIES = {LNAI},
VOLUME = "1303",
ABSTRACT = {}
}