@article{journals/aml/Visser01,
	title = {Submodels of Kripke models.},
	author = {Albert Visser},
	journal = {Arch. Math. Log.},
	number = {4},
	pages = {277-295},
	url = {http://dblp.uni-trier.de/db/journals/aml/aml40.html#Visser01},
	volume = {40},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/27d9df483e90598cbf21931251a896dff/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/PL00003842}, date = {2008-07-15},
	keywords = {dblp }
}