@article{BSL3_1_Michaels,
author = {Aileen MICHAELS},
title = {$EN$ -- Semi-Models},
journal = {Bulletin of the Section of Logic},
volume = {3},
number = {1},
year = {1974},
pages = {14--15}
}