@inproceedings{Bojanczyk:2012:FSN:2406808.2406809,
    Address = {Berlin, Heidelberg},
    Author = {Boja\'{n}czyk, Miko{\l}aj and Lasota, S{\l}awomir},
    BookTitle = {Proceedings of the 6th international conference on Reachability Problems},
    File = {Fraenkel-Mostowski sets with non-homogeneous atoms - Bojanczyk, Lasota (0) (0) - a - a - i.pdf},
    ISBN = {978-3-642-33511-2},
    Keywords = {nominal sets},
    Location = {Bordeaux, France},
    Pages = {1--5},
    Publisher = {Springer-Verlag},
    Series = {RP'12},
    Title = {Fraenkel-Mostowski sets with non-homogeneous atoms},
    URL = {http://dx.doi.org/10.1007/978-3-642-33512-9\_1},
    Year = {2012},
    acmid = {2406809},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-33512-9\_1},
    date-added = {2013-10-02 10:59:36 +0000},
    date-modified = {2013-10-02 10:59:44 +0000},
    numpages = {5},
    doi = {10.1007/978-3-642-33512-9_1}
}

@inproceedings{Bojanczyk:2012:FSN:2406808.2406809, Address = {Berlin, Heidelberg}, Author = {Boja\'{n}czyk, Miko{\l}aj and Lasota, S{\l}awomir}, BookTitle = {Proceedings of the 6th international conference on Reachability Problems}, File = {Fraenkel-Mostowski sets with non-homogeneous atoms - Bojanczyk, Lasota (0) (0) - a - a - i.pdf}, ISBN = {978-3-642-33511-2}, Keywords = {nominal sets}, Location = {Bordeaux, France}, Pages = {1--5}, Publisher = {Springer-Verlag}, Series = {RP'12}, Title = {Fraenkel-Mostowski sets with non-homogeneous atoms}, URL = {http://dx.doi.org/10.1007/978-3-642-33512-9_1}, Year = {2012}, acmid = {2406809}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-33512-9_1}, date-added = {2013-10-02 10:59:36 +0000}, date-modified = {2013-10-02 10:59:44 +0000}, numpages = {5}, doi = {10.1007/978-3-642-33512-9_1} }