@inbook{Sti92,
	title = {{Modal and Temporal Logics}},
	author = {C. Stirling},
	crossref = {AbrGabMai92vol2},
	editor = {S. Abramsky and D. Gabbay and T.S.E. Maibaum},
	pages = {478--563},
	publisher = {Oxford University Press},
	year = {1992},
	biburl = {http://www.bibsonomy.org/bibtex/266198dccdaa58ce2f9c9ca11a078cc15/bsmyth},
	description = {all-bibs-cleaned.bib},
	optvolume = {2},
	keywords = {imported }
}