@inproceedings {5006,
	title = {Temporal Logic in Information Systems},
	booktitle = {Dagstuhl Publications},
	year = {1998},
	author = {Jan Chomicki and David Toman}
}
