@InProceedings{RS:PAAR-2020,
    author =     {Contantin Ruhdorfer and Stephan Schulz},
    year =       2020,
    title =      {{Efficient Implementation of Large-Scale Watchlists}},
    editor =     {Pascal Fontaine and Philipp R{\"u}mmer and Sophie Tourret},
    booktitle =  {{Proceedings of the 7th Workshop on Practical
                  Aspects of Automated Reasoning}},
    place =      {Paris, France},
    OPTpages =      {},
    series =     {CEUR Workshop Proceedings},
    OPTnumber =     {},
    OPTurl =        {http://ceur-ws.org/Vol-1635/},
    note =       {(to appear)}
}