%0 Conference Paper %1 conf/sebd/CalauttiGMT16 %A Calautti, Marco %A Greco, Sergio %A Molinaro, Cristian %A Trubitsyna, Irina %B SEBD %D 2016 %E Bochicchio, Mario A. %E Mecca, Giansalvatore %I Matematicamente.it %K dblp %P 94-101 %T Leveraging Equality Generating Dependencies for Chase Termination. %U http://dblp.uni-trier.de/db/conf/sebd/sebd2016.html#CalauttiGMT16 %@ 9788896354889

@inproceedings{conf/sebd/CalauttiGMT16, added-at = {2016-09-12T00:00:00.000+0200}, author = {Calautti, Marco and Greco, Sergio and Molinaro, Cristian and Trubitsyna, Irina}, biburl = {https://www.bibsonomy.org/bibtex/263b3cd65fed8c8aa6b9e61f0aa0e771e/dblp}, booktitle = {SEBD}, crossref = {conf/sebd/2016}, editor = {Bochicchio, Mario A. and Mecca, Giansalvatore}, ee = {http://sebd2016.unisalento.it}, interhash = {d910de7396bafa340dd550cbfbe4913a}, intrahash = {63b3cd65fed8c8aa6b9e61f0aa0e771e}, isbn = {9788896354889}, keywords = {dblp}, pages = {94-101}, publisher = {Matematicamente.it}, timestamp = {2016-09-13T19:56:44.000+0200}, title = {Leveraging Equality Generating Dependencies for Chase Termination.}, url = {http://dblp.uni-trier.de/db/conf/sebd/sebd2016.html#CalauttiGMT16}, year = 2016 }