%0 Journal Article %1 journals/corr/abs-2001-01835 %A Rodler, Patrick %D 2020 %J CoRR %K dblp %T Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof. %U http://dblp.uni-trier.de/db/journals/corr/corr2001.html#abs-2001-01835 %V abs/2001.01835

@article{journals/corr/abs-2001-01835, added-at = {2020-01-10T00:00:00.000+0100}, author = {Rodler, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/24b099ba2116fedc2d4c175de70ed11e2/dblp}, ee = {http://arxiv.org/abs/2001.01835}, interhash = {2ba057dc8eab79ef255516009f0ad56b}, intrahash = {4b099ba2116fedc2d4c175de70ed11e2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:42:30.000+0100}, title = {Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2001.html#abs-2001-01835}, volume = {abs/2001.01835}, year = 2020 }