%0 Conference Paper %1 conf/cilc/CalvaneseGGMR19 %A Calvanese, Diego %A Ghilardi, Silvio %A Gianola, Alessandro %A Montali, Marco %A Rivkin, Andrey %B CILC %D 2019 %E Casagrande, Alberto %E Omodeo, Eugenio G. %I CEUR-WS.org %K dblp %T Model Completeness, Covers and Superposition (Abridged Version). %U http://dblp.uni-trier.de/db/conf/cilc/cilc2019.html#CalvaneseGGMR19 %V 2396

@inproceedings{conf/cilc/CalvaneseGGMR19, added-at = {2019-07-02T00:00:00.000+0200}, author = {Calvanese, Diego and Ghilardi, Silvio and Gianola, Alessandro and Montali, Marco and Rivkin, Andrey}, biburl = {https://www.bibsonomy.org/bibtex/2af0a89d9684bf6a026e174997c657201/dblp}, booktitle = {CILC}, crossref = {conf/cilc/2019}, editor = {Casagrande, Alberto and Omodeo, Eugenio G.}, ee = {https://nbn-resolving.org/urn:nbn:de:0074-2396-0}, interhash = {79abe004e259745323236c3a9ae3c3aa}, intrahash = {af0a89d9684bf6a026e174997c657201}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T13:16:11.000+0200}, title = {Model Completeness, Covers and Superposition (Abridged Version).}, url = {http://dblp.uni-trier.de/db/conf/cilc/cilc2019.html#CalvaneseGGMR19}, volume = 2396, year = 2019 }