Enrico Franconi

	2012
105		Enrico Franconi, Volha Kerhet, Nhung Ngo: Exact Query Reformulation over SHOQ DBoxes. Description Logics 2012
104		Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin: ORM2 Encoding into Description Logic (Extended Abstract). Description Logics 2012
103		Ronell Alberts, Enrico Franconi: An Integrated Method Using Conceptual Modelling to Generate an Ontology-based Query Mechanism. OWLED 2012
	2011
102		Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris: Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology. Description Logics 2011
101		Enrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris: Quelo: an Ontology-Driven Query Interface. Description Logics 2011
100		Balder ten Cate, Enrico Franconi, Inanç Seylan: Beth Definability in Expressive Description Logics. IJCAI 2011: 1099-1106
99		Enrico Franconi, David Toman: Fixpoints in Temporal Description Logics. IJCAI 2011: 875-880
98		Enrico Franconi, Paolo Guagliardo: A Constructive Framework for View Updating (Extended Abstract). SEBD 2011: 147-154
97		Alessandro Artale, Enrico Franconi: A Temporal Description Logic for Reasoning about Actions and Plans CoRR abs/1105.5446: (2011)
96		Enrico Franconi, Yazmin Angélica Ibáñez-García, Inanç Seylan: Query Answering with DBoxes is Hard. Electr. Notes Theor. Comput. Sci. 278: 71-84 (2011)
	2010
95		Inanç Seylan, Enrico Franconi, Jos de Bruijn: Optimal Rewritings in Definitorially Complete Description Logics. Description Logics 2010
94		Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell: On Finding Query Rewritings under Expressive Constraints. SEBD 2010: 426-437
	2009
93		Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt: Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures Springer 2009
92		Alessandro Artale, Enrico Franconi: Foundations of Temporal Conceptual Data Models. Conceptual Modeling: Foundations and Applications 2009: 10-35
91		Inanç Seylan, Enrico Franconi, Jos de Bruijn: Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract). Description Logics 2009
90		Inanç Seylan, Enrico Franconi, Jos de Bruijn: Effective Query Rewriting with Ontologies over DBoxes. IJCAI 2009: 923-925
	2008
89		Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: The complexity and approximation of fixing numerical attributes in databases under integrity constraints. Inf. Syst. 33(4-5): 407-434 (2008)
88		Enrico Franconi: Ontologies and databases: myths and challenges. PVLDB 1(2): 1518-1519 (2008)
	2007
87		Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris: Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 CEUR-WS.org 2007
86		Enrico Franconi, Michael Kifer, Wolfgang May: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings Springer 2007
85		Enrico Franconi: Conceptual Schemas and Ontologies for Database Access: Myths and Challenges. ER 2007: 22
	2006
84		Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens: Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings IEEE Computer Society 2006
83		Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler: Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures Springer 2006
82		Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris: The new ICOM Ontology Editor. Description Logics 2006
81		Paolo Dongilli, Enrico Franconi: An Intelligent Query Interface with Natural Language Support. FLAIRS Conference 2006: 658-663
80		Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris: Reasoning Support for Ontology Design. OWLED 2006
79		Enrico Franconi, Sergio Tessaris: The logic of RDF and SPARQL: a tutorial. PODS 2006: 355
	2005
78		Andrea Calì, Diego Calvanese, Enrico Franconi, Maurizio Lenzerini, Letizia Tanca: Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005 SEBD 2005
77		Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints. DBPL 2005: 262-278
76		Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: Fixing Inconsistent Databases by Updating Numerical Attributes. DEXA Workshops 2005: 854-858
75		Sergio Tessaris, Enrico Franconi: Rules and Queries with Ontologies: a Unifying Logical Framework. Description Logics 2005
74		Enrico Franconi, Andrei Lopatenko: The coDBz Information Integration System for Autonomous Data Sources. EMOI-INTEROP 2005
73		Enrico Franconi, Jos de Bruijn, Sergio Tessaris: Logical Reconstruction of Normative RDF. OWLED 2005
72		Jos de Bruijn, Enrico Franconi, Sergio Tessaris: Logical Reconstruction of RDF and Ontology Languages. PPSWR 2005: 65-71
71		Grigoris Antoniou, Enrico Franconi, Frank van Harmelen: Introduction to Semantic Web Ontology Languages. Reasoning Web 2005: 1-21
70		Enrico Franconi, Sergio Tessaris: A Unified Logical Framework for Rules (and Queries) with Ontologies. Rule Languages for Interoperability 2005
69		Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: Data Cleansing for Numerical Data Sets. SEBD 2005: 292-299
68		Paolo Dongilli, Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris: A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies. SEBD 2005: 75-86
67		Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints CoRR abs/cs/0503032: (2005)
66		Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi: Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR abs/cs/0507059: (2005)
	2004
65		Enrico Franconi, Anand Kamble: The GMD Data Model and Algebra for Multidimensional Information. CAiSE 2004: 446-462
64		Enrico Franconi: Description Logics for Interoperability. CAiSE Workshops (3) 2004: 307-310
63		Paolo Dongilli, Enrico Franconi, Sergio Tessaris: Semantics Driven Support for Query Formulation. Description Logics 2004
62		Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris: An Ontology Based Visual Tool for Query Formulation Support. ECAI 2004: 308-312
61		Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu: A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks. EDBT Workshops 2004: 446-455
60		Enrico Franconi, Sergio Tessaris: Rules and Queries with Ontologies: A Unified Logical Framework. PPSWR 2004: 50-60
59		Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu: The coDB Robust Peer-to-Peer Database System. SEBD 2004: 382-393
58		Enrico Franconi, Anand Kamble: A Data Warehouse Conceptual Data Model. SSDBM 2004: 435-436
57		Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu: Queries and Updates in the coDB Peer to Peer Database System. VLDB 2004: 1277-1280
56		Christopher Brewster, Kieron O'Hara, Steve Fuller, Yorick Wilks, Enrico Franconi, Mark A. Musen, Jeremy Ellman, Simon Buckingham Shum: Knowledge Representation with Ontologies: The Present and Future. IEEE Intelligent Systems 19(1): 72-81 (2004)
55		Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi: Editorial. J. Log. Comput. 14(1): 1 (2004)
	2003
54		Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 CEUR-WS.org 2003
53		Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini: A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. DBISP2P 2003: 64-76
52		Enrico Franconi, Anand Kamble: The GMD Data Model for Multidimensional Information: A Brief Introduction. DaWaK 2003: 55-65
51		Enrico Franconi: Natural Language Processing. Description Logic Handbook 2003: 450-461
50		Enrico Franconi, David Toman: Fixpoint Extensions of Temporal Description Logics. Description Logics 2003
49		Alessandro Artale, Enrico Franconi, Federica Mandreoli: Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases 2003: 239-275
48		Tiziana Catarci, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris: An Ontology Based Visual Tool for Query Formulation Support. OTM Workshops 2003: 32-33
47		Enrico Franconi, Anand Kamble: The GMD Data Model for Multidimensional Information: a brief introduction. SEBD 2003: 109-118
46		Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini: A Robust and Computational Characterisation of Peer-to-Peer Database Systems CoRR cs.DC/0308013: (2003)
45		Martin Peim, Enrico Franconi, Norman W. Paton: Estimating the quality of answers when querying over description logic ontologies. Data Knowl. Eng. 47(1): 105-129 (2003)
	2002
44		Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble: Querying Objects with Description Logics. Description Logics 2002
43		Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110
42		Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble: Querying Objects with Description Logics. KRDB 2002
41		Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble: Query Processing with Description Logic Ontologies over Object-Wrapped Databases. SEBD 2002: 42-49
40		Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble: Query Processing with Description Logic Ontologies Over Object-Wrapped Databases. SSDBM 2002: 27-36
39		Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke: Combinations of Modal Logics. Artif. Intell. Rev. 17(1): 1-20 (2002)
	2001
38		Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001
37		Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello: Census Data Repair: a Challenging Application of Disjunctive Logic Programming. LPAR 2001: 561-578
36		Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214
	2000
35		Enrico Franconi, Fabio Grandi, Federica Mandreoli: A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. Computational Logic 2000: 1048-1062
34		Enrico Franconi: Knowledge Representation meets Digital Libraries. DELOS Workshop: Information Seeking, Searching and Querying in Digital Libraries 2000
33		Enrico Franconi, Fabio Grandi, Federica Mandreoli: A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. Description Logics 2000: 99-112
32		Alexander Borgida, Enrico Franconi, Ian Horrocks: Explaining ALC Subsumption. ECAI 2000: 209-213
31		Enrico Franconi, Fabio Grandi, Federica Mandreoli: Schema Evolution and Versioning: A Logical and Computational Characterisation. FMLDO 2000: 85-99
30		Enrico Franconi, Gary Ng: The i.com tool for Intelligent Conceptual Modeling. KRDB 2000: 45-53
29		Enrico Franconi, Fabio Grandi, Federica Mandreoli: A general framework for evolving schemata support. SEBD 2000: 371-384
28		Matthias Jarke, Christoph Quix, Diego Calvanese, Maurizio Lenzerini, Enrico Franconi, Spyros Ligoudistianos, Panos Vassiliadis, Yannis Vassiliou: Concept Based Design of Data Warehouses: The DWQ Demonstrators. SIGMOD Conference 2000: 591
27		Alessandro Artale, Enrico Franconi: A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1-4): 171-210 (2000)
26		Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): 231-237 (2000)
	1999
25		Enrico Franconi, Michael Kifer: Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999 CEUR-WS.org 1999
24		Alessandro Artale, Enrico Franconi: Reasoning with Enhanced Temporal Entity-Relationship Models. DEXA Workshop 1999: 482-486
23		Enrico Franconi, Ulrike Sattler: A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. DMDW 1999: 13
22		Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: Explaining ALC Subsumption. Description Logics 1999
21		Alessandro Artale, Enrico Franconi: Temporal ER Modeling with Description Logics. ER 1999: 81-95
20		Alessandro Artale, Enrico Franconi: Reasoning with enhanced Temporal Entity-Relationship Models. KRDB 1999: 1-5
19		Alessandro Artale, Enrico Franconi: Temporal E-R Modelling with description logics. SEBD 1999: 357-369
18		Alessandro Artale, Enrico Franconi: Introducing Temporal Description Logics. TIME 1999: 2-5
17		Alessandro Artale, Enrico Franconi: Representing a robotic domain using temporal description logics. AI EDAM 13(2): 105-117 (1999)
16		Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty: Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9(3): 449-456 (1999)
	1998
15		Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998 CEUR-WS.org 1998
14		Enrico Franconi: CRACK. Description Logics 1998
13		Alessandro Artale, Enrico Franconi: A Temporal Description Logic for Reasoning about Actions and Plans. J. Artif. Intell. Res. (JAIR) 9: 463-506 (1998)
	1997
12		Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI Description Logics 1997
11		Enrico Franconi: Sofware Asset Classification and Retrieval with DL: the Intelligent Reuse Assistant. Description Logics 1997
	1996
10		Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA AAAI Press 1996
9		Alessandro Artale, Enrico Franconi, Nicola Guarino: Open Problems with Part-Whole Relations. Description Logics 1996: 70-73
8		Alessandro Artale, Enrico Franconi, Nicola Guarino, Luca Pazzi: Part-Whole Relations in Object-Centered Systems: An Overview. Data Knowl. Eng. 20(3): 347-383 (1996)
	1994
7		Alessandro Artale, Enrico Franconi: A Computational Account for a Description Logic of Time and Action. KR 1994: 3-14
6		Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi: Am empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. 4(2): 109-132 (1994)
	1993
5		Enrico Franconi, Alessandra Giorgi, Fabio Pianesi: Tense and Aspect: A Mereological Approach. IJCAI 1993: 1222-1229
	1992
4		Enrico Franconi: Collective Entities and Relations in Concept Languages. Description Logics 1992: 31-35
3		Jürgen Allgayer, Enrico Franconi: Collective Entities and Relations in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992: 13-29
2		Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi: An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. KR 1992: 270-281
	1991
1		Enrico Franconi: Extending Hybridity within the YAK Knowledge Representation System. Description Logics 1991: 43-46

Coauthor Index

1	Ronell Alberts	[103]
2	Jürgen Allgayer	[3]
3	Grigoris Antoniou	[71]
4	Carlos Areces	[26]
5	Alessandro Artale	[7] [8] [9] [13] [17] [18] [19] [20] [21] [24] [27] [36] [38] [43] [49] [55] [92] [97]
6	Franz Baader	[2] [6] [80]
7	Pedro Barahona	[83]
8	Brandon Bennett	[39]
9	Leopoldo E. Bertossi	[67] [69] [76] [77] [89]
10	Alexander Borgida	[22] [32] [94]
11	Ronald J. Brachman (Ron Brachman)	[12]
12	Loreto Bravo	[67] [69] [76] [77] [89]
13	Christopher Brewster	[56]
14	Jos de Bruijn	[72] [73] [90] [91] [94] [95]
15	François Bry (François Bry-Haußer)	[83]
16	Andrea Calì	[78]
17	Diego Calvanese	[28] [54] [66] [78] [87]
18	Tiziana Catarci	[48] [62]
19	Balder ten Cate	[100]
20	Clare Dixon	[39] [55]
21	Paolo Dongilli	[62] [63] [68] [81]
22	Francesco M. Donini	[12]
23	Thomas Eiter	[66] [84] [93]
24	Jeremy Ellman	[56]
25	Pablo R. Fillottrani	[68] [82] [102]
26	Michael Fisher	[39] [55]
27	Steve Fuller	[56]
28	Manfred Gehrke	[10]
29	Giuseppe De Giacomo	[15] [16] [54]
30	Alessandra Giorgi	[5]
31	Carole A. Goble	[40] [41] [42] [44]
32	Rajeev Goré	[26]
33	Fabio Grandi	[29] [31] [33] [35]
34	Paolo Guagliardo	[98] [101]
35	Nicola Guarino	[8] [9]
36	Claudio Gutierrez (Claudio Gutiérrez)	[93]
37	Volker Haarslev	[87]
38	Alon Y. Halevy (Alon Y. Levy)	[12]
39	Siegfried Handschuh	[93]
40	Frank van Harmelen	[71]
41	Nicola Henze	[83]
42	Ralph Hodgson	[84]
43	Bernhard Hollunder	[2] [6]
44	Ian Horrocks	[12] [16] [22] [32] [39]
45	Ullrich Hustadt	[39]
46	Yazmin Angélica Ibáñez-García	[96]
47	Matthias Jarke	[28]
48	Anand Kamble	[47] [52] [58] [65]
49	Volha Kerhet	[105]
50	Michael Kifer	[25] [86]
51	Gabriel M. Kuper	[46] [53] [57] [59] [61]
52	Domenico Lembo	[80] [87]
53	Maurizio Lenzerini	[28] [78]
54	Nicola Leone	[37]
55	Spyros Ligoudistianos	[28]
56	Andrei Lopatenko	[46] [53] [57] [59] [61] [67] [69] [74] [76] [77] [89]
57	Carsten Lutz	[80]
58	Robert M. MacGregor	[15]
59	Federica Mandreoli	[29] [31] [33] [35] [49]
60	Tania Di Mascio	[48] [62]
61	Wolfgang May	[86]
62	Deborah L. McGuinness	[10] [16] [22]
63	Ralf Möller	[80]
64	Alessandro Mosca	[104]
65	Milenko Mosurovic	[36] [38]
66	Boris Motik	[87]
67	Mark A. Musen	[56]
68	Bernhard Nebel	[2] [6]
69	Gary Ng	[30]
70	Nhung Ngo	[105]
71	Werner Nutt	[15] [16]
72	Kieron O'Hara	[56]
73	Magdalena Ortiz (Maria Magdalena Ortiz de la Fuente)	[66]
74	Lin Padgham	[10]
75	Antonio Laureti Palma	[37]
76	Peter F. Patel-Schneider	[10] [16] [22]
77	Norman W. Paton	[40] [41] [42] [44] [45]
78	Luca Pazzi	[8]
79	Martin Peim	[40] [41] [42] [44] [45]
80	Simona Perri	[37]
81	Fabio Pianesi	[5]
82	Hans-Jürgen Profitlich	[2] [6]
83	Christoph Quix	[28]
84	Maarten de Rijke	[26] [39]
85	Riccardo Rosati	[80]
86	Marie-Christine Rousset	[12] [93]
87	Giuseppe Santucci	[48] [62]
88	Ulrike Sattler	[23] [80] [83]
89	Francesco Scarcello	[37]
90	Bernd-Holger Schlingloff (Holger Schlingloff)	[26]
91	Renate A. Schmidt	[93]
92	Luciano Serafini	[46] [53]
93	Inanç Seylan	[90] [91] [94] [95] [96] [100]
94	Simon Buckingham Shum	[56]
95	Dmitry Solomakhin	[104]
96	Susie Stephens	[84]
97	Umberto Straccia	[94]
98	Boontawee Suntisrivaraporn	[80]
99	Letizia Tanca	[78]
100	Sergio Tessaris	[48] [60] [62] [63] [68] [70] [72] [73] [75] [79] [80] [82] [87] [93] [101] [102]
101	David Toman	[50] [94] [99]
102	Marco Trevisan	[101]
103	Anni-Yasmin Turhan	[87]
104	Panos Vassiliadis	[28]
105	Yannis Vassiliou	[28]
106	Grant E. Weddell	[94]
107	Christopher A. Welty (Chris Welty)	[15] [16]
108	Yorick Wilks	[56]
109	Frank Wolter	[36] [38] [43]
110	Ilya Zaihrayeu	[57] [59] [61]
111	Michael Zakharyaschev	[36] [38] [43]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page