@InProceedings{flairs16,
    author = {Christoph Beierle and Tobias Falke and Steven Kutsch and Gabriele Kern-Isberner},
    title = {Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases},
    booktitle = {Florida Artificial Intelligence Research Society Conference},
    year = {2016},
    pages = {626--631},
    location = {Key Largo, Florida},
    url = {https://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12868/12643}
}