@INPROCEEDINGS{LohreyZetzsche2014a,
	AUTHOR		= {Lohrey, Markus and Zetzsche, Georg},
	TITLE		= {On {Boolean} closed full trios and rational {Kripke} frames},
	BOOKTITLE	= {Proc. of the 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014)},
	PAGES		= {530--541},
	SERIES		= {Leibniz International Proceedings in Informatics (LIPIcs)},
	VOLUME		= {25},
	EDITOR		= {Mayr, Ernst W. and Portier, Natacha},
	PUBLISHER	= {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
	ADDRESS		= {Dagstuhl, Germany},
	YEAR		= {2014},
	DOI		= {10.4230/LIPIcs.STACS.2014.530}
}