@mastersthesis{Kissig07S2S,
    address = {Plantage Muidergracht 24},
    author = {Kissig, Christian},
    citeulike-article-id = {2948678},
    citeulike-linkout-0 = {http://www.illc.uva.nl/Publications/ResearchReports/MoL-2007-15.text.pdf},
    institution = {Institute of Logic, Language and Computation},
    keywords = {automata\_theory, coalgebra, modal\_logic},
    location = {Amsterdam},
    month = {August},
    number = {2007-15},
    organization = {Universiteit van Amsterdam},
    posted-at = {2008-07-01 16:48:57},
    priority = {0},
    series = {Master of Logic Series},
    title = {Satisfiability of S2S},
    url = {http://www.illc.uva.nl/Publications/ResearchReports/MoL-2007-15.text.pdf},
    year = {2007}
}