%0 Conference Paper %1 conf/gcai/RavveVW15 %A Ravve, Elena V. %A Volkovich, Zeev %A Weber, Gerhard-Wilhelm %B GCAI %D 2015 %E Gottlob, Georg %E Sutcliffe, Geoff %E Voronkov, Andrei %I EasyChair %K dblp %P 229-251 %T A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures. %U http://dblp.uni-trier.de/db/conf/gcai/gcai2015.html#RavveVW15 %V 36

@inproceedings{conf/gcai/RavveVW15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Ravve, Elena V. and Volkovich, Zeev and Weber, Gerhard-Wilhelm}, biburl = {https://www.bibsonomy.org/bibtex/2a12a9d3989ad087ca7124632d4185fb4/dblp}, booktitle = {GCAI}, crossref = {conf/gcai/2015}, editor = {Gottlob, Georg and Sutcliffe, Geoff and Voronkov, Andrei}, ee = {https://doi.org/10.29007/45rv}, interhash = {f47ebe9b2e2c9915f1909ce06954a698}, intrahash = {a12a9d3989ad087ca7124632d4185fb4}, keywords = {dblp}, pages = {229-251}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:30:43.000+0200}, title = {A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures.}, url = {http://dblp.uni-trier.de/db/conf/gcai/gcai2015.html#RavveVW15}, volume = 36, year = 2015 }