@inproceedings{conf/aaai/KaminskiCGKH20,
  title = "Complexity and expressive power of disjunction and negation in limit {Datalog}",
  author = "Mark Kaminski and Bernardo {Cuenca Grau} and Egor V. Kostylev and Ian Horrocks",
  year = "2020",
  booktitle = "Proceedings of the 34th {AAAI} Conference on Artificial Intelligence (AAAI 2020), New York, New York, {USA}, February 9--12, 2020",
}
@inproceedings{conf/iclr/BarceloKMPRS20,
  title = "The logical expressiveness of graph neural networks",
  author = "Pablo Barcel\'o and Egor V. Kostylev and Mikael Monet and Jorge P\'erez and Juan Reutter and {Juan Pablo} Silva",
  year = "2020",
  booktitle = "Proceedings of the 8th International Conference on Learning Representations (ICLR 2020), Addis Ababa, Ethopia, April 26--30, 2020",
}
@inproceedings{conf/om/PetrovaKCGH19,
  title = "Towards explainable entity matching via comparison queries",
  author = "Alina Petrova and Egor V. Kostylev and Bernardo {Cuenca Grau} and Ian Horrocks",
  year = "2019",
  booktitle = "Proceedings of the 14th International Workshop on Ontology Matching co-located with the 18th International Semantic Web Conference (OM@ISWC 2019), Auckland, New Zealand, October 26, 2019",
}
@article{journals/sigmod/CuencaGrauHKKM19,
  title = "Limit {Datalog}: {A} declarative query language for data analysis",
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Mark Kaminski and Egor V. Kostylev and Boris Motik",
  year = "2019",
  journal = "{ACM SIGMOD} Record (SIGMOD Rec.)",
}
@misc{misc/arxiv/KaminskiK19,
  title = "Subsumption of weakly well-designed {SPARQL} patterns is undecidable",
  author = "Mark Kaminski and Egor V. Kostylev",
  year = "2019",
}
@article{journals/jair/CuencaGrauK19,
  title = "Logical foundations of linked data anonymisation",
  author = "Bernardo {Cuenca Grau} and Egor V. Kostylev",
  year = "2019",
  journal = "Journal of Artificial Intelligence Research (JAIR)",
  pages = "253--314",
  volume = "64",
}
@article{journals/aij/NikolaouKKKCGH19,
  title = "Foundations of ontology-based data access under bag semantics",
  author = "Charalampos Nikolaou and Egor V. Kostylev and George Konstantinidis and Mark Kaminski and Bernardo {Cuenca Grau} and Ian Horrocks",
  year = "2019",
  journal = "Artificial Intelligence (AIJ)",
  pages = "91--132",
  volume = "274",
}
@inproceedings{conf/dlog/CimaNKKCGH19,
  title = "Bagging the {DL-Lite} family further",
  author = "Gianluca Cima and Charalampos Nikolaou and Egor V. Kostylev and Mark Kaminski and Bernardo {Cuenca Grau} and Ian Horrocks",
  year = "2019",
  booktitle = "Proceedings of the 32nd International Workshop on Description Logics (DL 2019), Oslo, Norway, June 18--21, 2019",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "2373",
}
@inproceedings{conf/ijcai/NikolaouCGKKH19,
  title = "Satisfaction and implication of integrity constraints in ontology-based data access",
  author = "Charalampos Nikolaou and Bernardo {Cuenca Grau} and Egor V. Kostylev and Mark Kaminski and Ian Horrocks",
  year = "2019",
  booktitle = "Proceedings of the 28th International Joint Conference on Artificial Intelligence ({IJCAI} 2019), Macao, China, August 10--16, 2019",
  pages = "1829--1835",
  publisher = "ijcai.org",
}
@inproceedings{conf/ijcai/WalegaCGKK19,
  title = "{DatalogMTL}: computational complexity and expressive power",
  author = "Przemys{\l}aw A. Wa{\l}{\c{e}}ga and Bernardo {Cuenca Grau} and Mark Kaminski and Egor V. Kostylev",
  year = "2019",
  booktitle = "Proceedings of the 28th International Joint Conference on Artificial Intelligence ({IJCAI} 2019), Macao, China, August 10--16, 2019",
  pages = "1886--1892",
  publisher = "ijcai.org",
}
@inproceedings{conf/iswc/CimaNKKCGH19,
  title = "Bag semantics of {DL-Lite} with functional axioms",
  author = "Gianluca Cima and Charalampos Nikolaou and Egor V. Kostylev and Mark Kaminski and Bernardo {Cuenca Grau} and Ian Horrocks",
  year = "2019",
  booktitle = "Proceedings of the 18th International Semantic Web Conference (ISWC 2019), Auckland, New Zealand, October 26--30, 2019",
  pages = "128--144",
  publisher = " Springer, Cham",
  series = "Lecture Notes in Computer Science",
  volume = "11778",
}
@inproceedings{conf/iswc/PetrovaKCGH19,
  title = "Query-based entity comparison in knowledge graphs revisited",
  author = "Alina Petrova and Egor V. Kostylev and Bernardo {Cuenca Grau} and Ian Horrocks",
  year = "2019",
  booktitle = "Proceedings of the 18th International Semantic Web Conference (ISWC 2019), Auckland, New Zealand, October 26--30, 2019",
  pages = "558--575",
  publisher = " Springer, Cham",
  series = "Lecture Notes in Computer Science",
  volume = "11778",
}
@article{journals/tocs/KaminskiK18,
  title = "Complexity and expressive power of weakly well-designed {SPARQL}",
  author = "Mark Kaminski and Egor V. Kostylev",
  year = "2018",
  journal = "Theory of Computing Systems (ToCS)",
  number = "4",
  pages = "772--809",
  volume = "62",
}
@article{journals/jcss/KostylevRV18,
  title = "Containment of queries for graphs with data",
  author = "Egor V. Kostylev and Juan L. Reutter and Domagoj Vrgoc",
  year = "2018",
  journal = "Journal of Computer and System Sciences (JCSS)",
  pages = "65--91",
  volume = "92",
}
@inproceedings{conf/www/StefanoniMK18,
  title = "Estimating the cardinality of conjunctive queries over {RDF} data using graph summarisation",
  author = "Giorgio Stefanoni and Boris Motik and Egor V. Kostylev",
  year = "2018",
  booktitle = "Proceedings of the Web Conference 2018 (TheWebConf 2018, formerly known as World Wide Web Conference, WWW), Lyon, France, April 23-27, 2018",
  pages = "1043--1052",
  publisher = "{ACM}",
}
@misc{misc/arxiv/KostylevS18,
  title = "A note on the hardness of the critical tuple problem",
  author = "Egor V. Kostylev and Dan Suciu",
  year = "2018",
}
@inproceedings{conf/ijcai/KaminskiCGKMH18,
  title = "Stratified negation in limit {Datalog} programs",
  author = "Mark Kaminski and Bernardo {Cuenca Grau} and Egor V. Kostylev and Boris Motik and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the 27th International Joint Conference on Artificial Intelligence ({IJCAI} 2018), Stockholm, Sweden, July 13-19, 2018",
  pages = "1875--1881",
  publisher = "ijcai.org",
}
@article{journals/aij/BenediktCGK18,
  title = "Logical foundations of information disclosure in ontology-based data integration",
  author = "Michael Benedikt and Bernardo {Cuenca Grau} and Egor V. Kostylev",
  year = "2018",
  journal = "Artificial Intelligence (AIJ)",
  pages = "52--95",
  volume = "262",
}
@inproceedings{conf/aaai/BenediktCGK17,
  title = "Source information disclosure in ontology-based data integration",
  author = "Michael Benedikt and Bernardo {Cuenca Grau} and Egor V. Kostylev",
  year = "2017",
  booktitle = "Proceedings of the 31st {AAAI} Conference on Artificial Intelligence (AAAI 2017), San Francisco, California, {USA}, February 4-9, 2017",
  pages = "1056--1062",
  publisher = "{AAAI} Press",
}
@inproceedings{conf/amw/ArenasBKR17,
  title = "A note on computing certain answers to queries over incomplete databases",
  author = "Marcelo Arenas and Elena Botoeva and Egor V. Kostylev and Vladislav Ryzhikov",
  year = "2017",
  booktitle = "Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web (AMW 2017), Montevideo, Uruguay, June 7-9, 2017",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "1912",
}
@inproceedings{conf/ijcai/BenediktKMT17,
  title = "Reformulating queries: theory and practice",
  author = "Michael Benedikt and Egor V. Kostylev and Fabio Mogavero and Efthymia Tsamoura",
  year = "2017",
  booktitle = "Proceedings of the 26th International Joint Conference on Artificial Intelligence ({IJCAI} 2017), Melbourne, Victoria, Australia, August 19-25, 2017",
  pages = "837--843",
  publisher = "ijcai.org",
}
@inproceedings{conf/ijcai/KaminskiCGKMH17,
  title = "Foundations of declarative data analysis using limit {Datalog} programs",
  author = "Mark Kaminski and Bernardo {Cuenca Grau} and Egor V. Kostylev and Boris Motik and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the 26th International Joint Conference on Artificial Intelligence ({IJCAI} 2017), Melbourne, Victoria, Australia, August 19-25, 2017",
  pages = "1123--1130",
  publisher = "ijcai.org",
}
@inproceedings{conf/ijcai/NikolaouKKKCGH17,
  title = "The bag semantics of ontology-based data access",
  author = "Charalampos Nikolaou and Egor V. Kostylev and George Konstantinidis and Mark Kaminski and Bernardo {Cuenca Grau} and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the 26th International Joint Conference on Artificial Intelligence ({IJCAI} 2017), Melbourne, Victoria, Australia, August 19-25, 2017",
  pages = "1224--1230",
  publisher = "ijcai.org",
}
@inproceedings{conf/iswc/SherkhonovCGKK17,
  title = "Semantic faceted search with aggregation and recursion",
  author = "Evgeny Sherkhonov and Bernardo {Cuenca Grau} and Evgeny Kharlamov and Egor V. Kostylev",
  year = "2017",
  booktitle = "Proceedings of the 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21-25, 2017, Part {I}",
  pages = "594--610",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "10587",
}
@inproceedings{conf/iswc/KharlamovGSCGKH17,
  title = "Ranking, aggregation, and reachability in faceted search with {SemFacet}",
  author = "Evgeny Kharlamov and Luca Giacomelli and Evgeny Sherkhonov and Bernardo {Cuenca Grau} and Egor V. Kostylev and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the {ISWC} 2017 Posters {\&} Demonstrations and Industry Tracks (ISWC-PD-Industry 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23-25, 2017",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "1963",
}
@inproceedings{conf/cikm/KharlamovGSCGKH17,
  title = "{SemFacet}: making hard faceted search easier",
  author = "Evgeny Kharlamov and Luca Giacomelli and Evgeny Sherkhonov and Bernardo {Cuenca Grau} and Egor V. Kosty\-lev and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the 26th International Conference on Information and Knowledge Management ({CIKM} 2017), Singapore, November 6-10, 2017",
  pages = "2475--2478",
  publisher = "{ACM}",
}
@article{journals/tods/KaminskiKCG17,
  title = "Query nesting, assignment, and aggregation in {SPARQL} 1.1",
  author = "Mark Kaminski and Egor V. Kostylev and Bernardo {Cuenca Grau}",
  year = "2017",
  journal = "{ACM} Transactions on Database Systems (TODS)",
  number = "3",
  pages = "17:1--17:46",
  volume = "42",
}
@inproceedings{conf/aaai/CuencaGrauK16,
  title = "Logical foundations of privacy-preserving publishing of {Linked Data}",
  author = "Bernardo {Cuenca Grau} and Egor V. Kostylev",
  year = "2016",
  booktitle = "Proceedings of the 30th {AAAI} Conference on Artificial Intelligence (AAAI 2016), Phoenix, Arizona, {USA}, February 12-17, 2016",
  pages = "943--949",
  publisher = "{AAAI} Press",
}
@inproceedings{conf/icdt/KaminskiK16,
  title = "Beyond well-designed {SPARQL}",
  author = "Mark Kaminski and Egor V. Kostylev",
  year = "2016",
  booktitle = "Proceedings of the 19th International Conference on Database Theory ({ICDT} 2016), Bordeaux, France, March 15-18, 2016",
  pages = "5:1--5:18",
  publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f\"ur Informatik",
  series = "LIPIcs",
  volume = "48",
}
@inproceedings{conf/www/KaminskiKCG16,
  title = "Semantics and expressive power of subqueries and aggregates in {SPARQL} 1.1",
  author = "Mark Kaminski and Egor V. Kostylev and Bernardo {Cuenca Grau}",
  year = "2016",
  booktitle = "Proceedings of the 25th International Conference on World Wide Web ({WWW} 2016), Montreal, Canada, April 11-15, 2016",
  pages = "227--238",
  publisher = "{ACM}",
}
@inproceedings{conf/www/ArenasDK16,
  title = "Reverse engineering {SPARQL} queries",
  author = "Marcelo Arenas and Gonzalo I. Diaz and Egor V. Kostylev",
  year = "2016",
  booktitle = "Proceedings of the 25th International Conference on World Wide Web ({WWW} 2016), Montreal, Canada, April 11-15, 2016",
  pages = "239--249",
  publisher = "{ACM}",
}
@inproceedings{conf/kr/KontchakovK16,
  title = "On expressibility of non-monotone operators in {SPARQL}",
  author = "Roman Kontchakov and Egor V. Kostylev",
  year = "2016",
  booktitle = "Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning ({KR} 2016), Cape Town, South Africa, April 25-29, 2016",
  pages = "369--379",
  publisher = "{AAAI} Press",
}
@inproceedings{conf/amw/PolleresRK16,
  title = "Nested constructs vs. sub-selects in {SPARQL}",
  author = "Axel Polleres and Juan L. Reutter and Egor V. Kostylev",
  year = "2016",
  booktitle = "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2016), Panama City, Panama, May 8-10, 2016",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "1644",
}
@article{journals/ipl/KostylevRV16,
  title = "Static analysis of navigational {XPath} over graph databases",
  author = "Egor V. Kostylev and Juan L. Reutter and Domagoj Vrgoc",
  year = "2016",
  journal = "Information Processing Letters (IPL)",
  number = "7",
  pages = "467--474",
  volume = "116",
}
@inproceedings{conf/aaai/KostylevRV15,
  title = "{XPath} for {DL} ontologies",
  author = "Egor V. Kostylev and Juan L. Reutter and Domagoj Vrgoc",
  year = "2015",
  booktitle = "Proceedings of the 29th {AAAI} Conference on Artificial Intelligence (AAAI 2015), Austin, Texas, {USA}, January 25-30, 2015",
  pages = "1525--1531",
  publisher = "{AAAI} Press",
}
@inproceedings{conf/icdt/KostylevRU15,
  title = "{CONSTRUCT} queries in {SPARQL}",
  author = "Egor V. Kostylev and Juan L. Reutter and Mart{\'{\i}}n Ugarte",
  year = "2015",
  booktitle = "Proceedings of the 18th International Conference on Database Theory ({ICDT} 2015), Brussels, Belgium, March 23-27, 2015",
  pages = "212--229",
  publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f\"ur Informatik",
  series = "LIPIcs",
  volume = "31",
}
@inproceedings{conf/dlog/KostylevCG15,
  title = "Semantics of {SPARQL} under {OWL} 2 entailment regimes",
  author = "Egor V. Kostylev and Bernardo {Cuenca Grau}",
  year = "2015",
  booktitle = "Informal Proceedings of the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 7-10, 2015",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "1350",
}
@inproceedings{conf/ijcai/CuencaGrauKKZ15,
  title = "Controlled query evaluation for {Datalog} and {OWL} 2 profile ontologies",
  author = "Bernardo {Cuenca Grau} and Evgeny Kharlamov and Egor V. Kostylev and Dmitriy Zheleznyakov",
  year = "2015",
  booktitle = "Proceedings of the 24th International Joint Conference on Artificial Intelligence ({IJCAI} 2015), Buenos Aires, Argentina, July 25-31, 2015",
  pages = "2883--2889",
  publisher = "{AAAI} Press",
}
@inproceedings{conf/iswc/KostylevRRV15,
  title = "{SPARQL} with property paths",
  author = "Egor V. Kostylev and Juan L. Reutter and Miguel Romero and Domagoj Vrgoc",
  year = "2015",
  booktitle = "Proceedings of the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 11-15, 2015, Part {I}",
  pages = "3--18",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "9366",
}
@article{journals/ws/KostylevR15,
  title = "Complexity of answering counting aggregate queries over {DL-Lite}",
  author = "Egor V. Kostylev and Juan L. Reutter",
  year = "2015",
  journal = "Journal of Web Semantics: Science, Services and Agents on the World Wide Web (JWS)",
  number = "1",
  pages = "94--111",
  volume = "33",
}
@article{journals/ws/GutierrezBasultoIGKK15,
  title = "Queries with negation and inequalities over lightweight ontologies",
  author = "V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and Yazmin Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and Roman Kontchakov and Egor V. Kostylev",
  year = "2015",
  journal = "Journal of Web Semantics: Science, Services and Agents on the World Wide Web (JWS)",
  number = "4",
  pages = "184--202",
  volume = "35",
}
@inproceedings{conf/icdt/KostylevRV14,
  title = "Containment of data graph queries",
  author = "Egor V. Kostylev and Juan L. Reutter and Domagoj Vrgoc",
  year = "2014",
  booktitle = "Proceedings of the 17th International Conference on Database Theory (ICDT 2014), Athens, Greece, March 24-28, 2014",
  pages = "131--142",
  publisher = "OpenProceedings.org",
}
@inproceedings{conf/dlog/CuencaGrauKKZ14,
  title = "Controlled query evaluation over lightweight ontologies",
  author = "Bernardo {Cuenca Grau} and Evgeny Kharlamov and Egor V. Kostylev and Dmitriy Zheleznyakov",
  year = "2014",
  booktitle = "Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014), Vienna, Austria, July 17-20, 2014",
  pages = "141--152",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "1193",
}
@inproceedings{conf/dlog/KostylevRV14,
  title = "{XPath} for {DL-Lite} ontologies",
  author = "Egor V. Kostylev and Juan L. Reutter and Domagoj Vrgoc",
  year = "2014",
  booktitle = "Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014), Vienna, Austria, July 17-20, 2014",
  pages = "258--269",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "1193",
}
@inproceedings{conf/iswc/KostylevCG14,
  title = "On the semantics of {SPARQL} queries with optional matching under entailment regimes",
  author = "Egor V. Kostylev and Bernardo {Cuenca Grau}",
  year = "2014",
  booktitle = "Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, October 19-23, 2014, Part {II}",
  pages = "374--389",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8797",
}
@article{journals/tods/KostylevRS14,
  title = "Classification of annotation semirings over containment of conjunctive queries",
  author = "Egor V. Kostylev and Juan L. Reutter and Andr{\'{a}}s Z. Salamon",
  year = "2014",
  journal = "{ACM} Transactions on Database Systems (TODS)",
  number = "1",
  pages = "1:1--1:39",
  volume = "39",
}
@inproceedings{conf/icdt/BunemanKV13,
  title = "Annotations are relative",
  author = "Peter Buneman and Egor V. Kostylev and Stijn Vansummeren",
  year = "2013",
  booktitle = "Proceedings of the 16th International Conference on Database Theory (ICDT 2013), Genoa, Italy, March 18-22, 2013",
  pages = "177--188",
  publisher = "{ACM}",
}
@inproceedings{conf/aaai/KostylevR13,
  title = "Answering counting aggregate queries over ontologies of the {DL-Lite} family",
  author = "Egor V. Kostylev and Juan L. Reutter",
  year = "2013",
  booktitle = "Proceedings of the 27th {AAAI} Conference on Artificial Intelligence (AAAI 2013), Bellevue, Washington, {USA}, July 14-18, 2013",
  pages = "534--540",
  publisher = "{AAAI} Press",
}
@inproceedings{conf/dlog/KostylevR13,
  title = "Complexity of answering counting aggregate queries over {DL-Lite}",
  author = "Egor V. Kostylev and Juan L. Reutter",
  year = "2013",
  booktitle = "Informal Proceedings of the 26th International Workshop on Description Logics (DL 2013), Ulm, Germany, July 23-26, 2013",
  pages = "364--376",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "1014",
}
@inproceedings{conf/rr/GutierrezBasultoIGKK13,
  title = "Conjunctive queries with negation over {DL-Lite}: a closer look",
  author = "V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and Yazmin Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and Roman Kontchakov and Egor V. Kosty\-lev",
  year = "2013",
  booktitle = "Proceedings of the 7th International Conference on Web Reasoning and Rule Systems ({RR} 2013), Mannheim, Germany, July 27-29, 2013",
  pages = "109--122",
  publisher = "Springer",
}
@inproceedings{conf/iswc/CuencaGrauKKZ13,
  title = "Controlled query evaluation over {OWL} 2 {RL} ontologies",
  author = "Bernardo {Cuenca Grau} and Evgeny Kharlamov and Egor V. Kostylev and Dmitriy Zheleznyakov",
  year = "2013",
  booktitle = "Proceedings of the 12th International Semantic Web Conference (ISWC 2013), Sydney, New South Wales, Australia, October 21-25, 2013, Part {I}",
  pages = "49--65",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8218",
}
@inproceedings{conf/icdt/KostylevB12,
  title = "Combining dependent annotations for relational algebra",
  author = "Egor V. Kostylev and Peter Buneman",
  year = "2012",
  booktitle = "Proceedings of the 15th International Conference on Database Theory ({ICDT} 2012), Berlin, Germany, March 26-29, 2012",
  pages = "196--207",
  publisher = "{ACM}",
}
@inproceedings{conf/pods/KostylevRS12,
  title = "Classification of annotation semirings over query containment",
  author = "Egor V. Kostylev and Juan L. Reutter and Andr{\'{a}}s Z. Salamon",
  year = "2012",
  booktitle = "Proceedings of the 31st {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems ({PODS} 2012), Scottsdale, Arizona, USA, May 20-24, 2012",
  pages = "237--248",
  publisher = "{ACM}",
}
@inproceedings{conf/tapp/BunemanCK12,
  title = "Hierarchical models of provenance",
  author = "Peter Buneman and James Cheney and Egor V. Kostylev",
  year = "2012",
  booktitle = "Proceedings of the 4th {USENIX} Workshop on the Theory and Practice of Provenance (TaPP 2012), Boston, Massachusetts, USA, June 14-15, 2012",
  publisher = "{USENIX} Association",
}
@inproceedings{conf/psi/BulychevKZ09,
  title = "Anti-unification algorithms and their applications in program analysis",
  author = "Peter E. Bulychev and Egor V. Kostylev and Vladimir A. Zakharov",
  year = "2010",
  booktitle = "Proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics ({PSI} 2009), Novosibirsk, Russia, June 15-19, 2009, Revised Papers",
  pages = "413--423",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5947",
}
@inproceedings{conf/swpm/BunemanK10,
  title = "Annotation algebras for {RDFS}",
  author = "Peter Buneman and Egor V. Kostylev",
  year = "2010",
  booktitle = "Proceedings of the 2nd International Workshop on the Role of Semantic Web in Provenance Management (SWPM 2010), Shanghai, China, November 7, 2010",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "670",
}
@article{journals/dma/KostylevZ08,
  title = "On complexity of the anti-unification problem",
  author = "Egor V. Kostylev and Vladimir A. Zakharov",
  year = "2008",
  journal = "Discrete Mathematics and Applications",
  number = "1",
  pages = "85--98",
  volume = "18",
}
@article{journals/mucmc/KostylevZ05,
  title = "On the generalization of substitutions as applied to program static analysis problem",
  author = "Egor V. Kostylev and Vladimir A. Zakharov",
  year = "2005",
  journal = "Moscow University Computational Mathematics and Cybernetics",
  number = "4",
  pages = "42--49",
  volume = "29",
}