@article{BSL3_1_Dahn1,
author = {Bernd DAHN},
title = {Generalized Kripke Models},
journal = {Bulletin of the Section of Logic},
volume = {3},
number = {1},
year = {1974},
pages = {3--7}
}