default search action
Alessandro Artale
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j17]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. ACM Trans. Comput. Log. 25(2): 13:1-13:43 (2024) - [c87]Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev:
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). Description Logics 2024 - [c86]Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). Description Logics 2024 - [i16]Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). CoRR abs/2405.07656 (2024) - 2023
- [j16]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. 24(4): 34:1-34:51 (2023) - [c85]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI 2023: 6236-6244 - [c84]Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev:
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics 2023 - [c83]Alessandro Artale, Andrea Mazzullo:
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract). Description Logics 2023 - [c82]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR 2023: 65-74 - [c81]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo:
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. OVERLAY@AI*IA 2023: 85-92 - [c80]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME 2023: 2:1-2:14 - [i15]Alessandro Artale, Andrea Mazzullo:
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version). CoRR abs/2308.08640 (2023) - 2022
- [j15]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75: 1223-1291 (2022) - [c79]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI 2022: 5703-5707 - [e2]Alessandro Artale, Diego Calvanese, Haofen Wang, Xiaowang Zhang:
Proceedings of the 11th International Joint Conference on Knowledge Graphs, IJCKG 2022, Hangzhou, China, October 27-28, 2022. ACM 2022, ISBN 978-1-4503-9987-6 [contents] - [i14]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. CoRR abs/2202.00610 (2022) - [i13]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR abs/2211.14913 (2022) - 2021
- [j14]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299: 103536 (2021) - [c78]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI 2021: 6193-6201 - [c77]Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Ana Ozaki:
Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract). Description Logics 2021 - [c76]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. KR 2021: 63-73 - [i12]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. CoRR abs/2106.15513 (2021) - [i11]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR abs/2111.06806 (2021) - 2020
- [c75]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics 2020 - [c74]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. Description Logics 2020 - [c73]Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki:
Automated Reasoning in Temporal DL-Lite (Extended Abstract). Description Logics 2020 - [c72]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Finite vs. Infinite Traces in Temporal Logics. OVERLAY 2020: 23-27 - [i10]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR abs/2004.07221 (2020) - [i9]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR abs/2007.02736 (2020) - [i8]Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki:
Automated Reasoning in Temporal DL-Lite. CoRR abs/2008.07463 (2020)
2010 – 2019
- 2019
- [c71]Alessandro Artale, Enrico Franconi:
Towards a Logical Foundation of Reification in Modelling Languages. Ontology Makes Sense 2019: 242-256 - [c70]Alessandro Artale, Diego Calvanese, Marco Montali, Wil M. P. van der Aalst:
Enriching Data Models with Behavioral Constraints. Ontology Makes Sense 2019: 257-277 - [c69]Alessandro Artale, Alisa Kovtunova, Marco Montali, Wil M. P. van der Aalst:
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints. BPM 2019: 139-156 - [c68]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Temporal DL-Lite over Finite Traces (Preliminary Results). Description Logics 2019 - [c67]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Do You Need Infinite Time?. IJCAI 2019: 1516-1522 - 2018
- [c66]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Temporal Description Logics over Finite Traces. Description Logics 2018 - 2017
- [c65]Wil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini:
Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling. Description Logics 2017 - [c64]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract). SEBD 2017: 33 - [c63]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive Description Logic for Databases. ISWC (1) 2017: 37-52 - [c62]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME 2017: 1:1-1:37 - [e1]Alessandro Artale, Birte Glimm, Roman Kontchakov:
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. CEUR Workshop Proceedings 1879, CEUR-WS.org 2017 [contents] - [i7]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive Description Logic for Databases (Extended Version). CoRR abs/1707.08468 (2017) - 2016
- [c61]Alessandro Artale, Enrico Franconi:
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification. Description Logics 2016 - [i6]Alessandro Artale, Enrico Franconi:
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version). CoRR abs/1604.00799 (2016) - 2015
- [c60]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tractable Interval Temporal Propositional and Description Logics. AAAI 2015: 1417-1423 - [c59]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Interval Temporal Description Logics. Description Logics 2015 - [c58]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI 2015: 2706-2712 - 2014
- [j13]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. 15(3): 25:1-25:50 (2014) - [c57]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporal OBDA with LTL and DL-Lite. Description Logics 2014: 21-32 - [c56]Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov:
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI 2014: 957-958 - [i5]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. CoRR abs/1401.3487 (2014) - 2013
- [c55]Claudio Masolo, Alessandro Artale:
Entity-from-Relationship Modelling. AI*IA 2013: 85-96 - [c54]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporalising OWL 2 QL. Description Logics 2013: 17-28 - [c53]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access. IJCAI 2013: 711-717 - [c52]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. LPAR 2013: 35-52 - [i4]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access (Extended Version). CoRR abs/1304.5185 (2013) - [i3]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. CoRR abs/1306.5088 (2013) - 2012
- [j12]Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente:
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73: 1-22 (2012) - [c51]Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente:
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics 2012 - [c50]Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov:
DL-Lite with Attributes and Datatypes. ECAI 2012: 61-66 - [i2]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. CoRR abs/1209.5571 (2012) - 2011
- [c49]Maria Amalfi, Alessandro Artale, Andrea Calì, Alessandro Provetti:
Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case. DASFAA (2) 2011: 225-234 - [c48]Alessandro Artale, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov:
DL-Lite with Attributes and Sub-Roles (Extended Abstract). Description Logics 2011 - [c47]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS 2011: 1-11 - [i1]Alessandro Artale, Enrico Franconi:
A Temporal Description Logic for Reasoning about Actions and Plans. CoRR abs/1105.5446 (2011) - 2010
- [c46]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Past and Future of DL-Lite. AAAI 2010: 243-248 - [c45]Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García:
Checking Full Satisfiability of Conceptual Models. Description Logics 2010 - [c44]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal Conceptual Modelling with DL-Lite. Description Logics 2010 - [c43]Elena Botoeva, Alessandro Artale, Diego Calvanese:
Query Rewriting in DL-Lite_^(HN)_horn. Description Logics 2010 - [c42]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning over Temporal Data Models. ER 2010: 174-187 - [c41]Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García:
Full Satisfiability of UML Class Diagrams. ER 2010: 317-331 - [c40]Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang:
Reasoning about Relation Based Access Control. NSS 2010: 231-238 - [c39]C. Maria Keet, Alessandro Artale:
A Basic Characterization of Relation Migration. OTM Workshops 2010: 484-493
2000 – 2009
- 2009
- [j11]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. J. Artif. Intell. Res. 36: 1-69 (2009) - [c38]Alessandro Artale, Enrico Franconi:
Foundations of Temporal Conceptual Data Models. Conceptual Modeling: Foundations and Applications 2009: 10-35 - [c37]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Adding Weight to DL-Lite. Description Logics 2009 - [c36]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite without UNA. Description Logics 2009 - [c35]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Extending DL-Lite Sometime in the Future. Description Logics 2009 - [c34]Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo:
Using Description Logics in Relation Based Access Control. Description Logics 2009 - [c33]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCoS 2009: 133-148 - [p4]Alessandro Artale, C. Maria Keet:
Essential, Mandatory, and Shared Parts in Conceptual Data Models. Innovations in Information Systems Modeling 2009: 17-52 - 2008
- [j10]C. Maria Keet, Alessandro Artale:
Representing and reasoning over a taxonomy of part-whole relations. Appl. Ontology 3(1-2): 91-110 (2008) - [c32]Alessandro Artale, C. Maria Keet:
Essential and Mandatory Part-Whole Relations in Conceptual Data Models. Description Logics 2008 - [c31]Alessandro Artale, David Toman:
Decidable Reasoning over Timestamped Conceptual Models. Description Logics 2008 - [c30]Alessandro Artale, Nicola Guarino, C. Maria Keet:
Formalising Temporal Constraints on Part-Whole Relations. KR 2008: 673-683 - [c29]Alessandro Artale, David Toman:
Decidable Reasoning over Timestamped Conceptual Models. SEBD 2008: 168-178 - 2007
- [j9]Alessandro Artale, Christine Parent, Stefano Spaccapietra:
Evolving objects in temporal information systems. Ann. Math. Artif. Intell. 50(1-2): 5-38 (2007) - [c28]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366 - [c27]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning in Entity Relationship Models. Description Logics 2007 - [c26]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Reasoning over Extended ER Models. ER 2007: 277-292 - [c25]Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change. IJCAI 2007: 218-223 - [c24]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257 - [c23]Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tractable Description Logics. TIME 2007: 11-22 - 2006
- [j8]Alessandro Artale:
Reasoning on temporal class diagrams: Undecidability results. Ann. Math. Artif. Intell. 46(3): 265-288 (2006) - [c22]Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change. Description Logics 2006 - [c21]Alessandro Artale, Christine Parent, Stefano Spaccapietra:
Modeling the Evolution of Objects in Temporal Information Systems. FoIKS 2006: 22-42 - 2005
- [c20]Alessandro Artale, Christine Parent, Stefano Spaccapietra:
Modeling the Evolution of Objects in Temporal Information Systems. SEBD 2005: 380-391 - [r1]Alessandro Artale, Enrico Franconi:
Temporal Description Logics. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 375-388 - 2004
- [j7]Alessandro Artale, Carsten Lutz:
A Correspondence between Temporal Description Logics. J. Appl. Non Class. Logics 14(1-2): 209-233 (2004) - [j6]Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi:
Editorial. J. Log. Comput. 14(1): 1 (2004) - [c19]Alessandro Artale:
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. Description Logics 2004 - [c18]Alessandro Artale:
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. TIME 2004: 79-86 - 2003
- [c17]Alessandro Artale, Enrico Franconi, Federica Mandreoli:
Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases 2003: 239-275 - 2002
- [c16]Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev:
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110 - 2001
- [c15]Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
The DLRUS Temporal Description Logic. Description Logics 2001 - [c14]Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214 - 2000
- [j5]Alessandro Artale, Enrico Franconi:
A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1-4): 171-210 (2000)
1990 – 1999
- 1999
- [j4]Alessandro Artale, Enrico Franconi:
Representing a robotic domain using temporal description logics. Artif. Intell. Eng. Des. Anal. Manuf. 13(2): 105-117 (1999) - [c13]Alessandro Artale, Enrico Franconi:
Reasoning with Enhanced Temporal Entity-Relationship Models. DEXA Workshop 1999: 482-486 - [c12]Alessandro Artale, Carsten Lutz:
A Correspondence between Temporal Description Logics. Description Logics 1999 - [c11]Alessandro Artale, Enrico Franconi:
Temporal ER Modeling with Description Logics. ER 1999: 81-95 - [c10]Alessandro Artale, Enrico Franconi:
Reasoning with enhanced Temporal Entity-Relationship Models. KRDB 1999: 1-5 - [c9]Alessandro Artale, Enrico Franconi:
Temporal E-R Modelling with description logics. SEBD 1999: 357-369 - [c8]Alessandro Artale, Enrico Franconi:
Introducing Temporal Description Logics. TIME 1999: 2-5 - 1998
- [j3]Alessandro Artale, Enrico Franconi:
A Temporal Description Logic for Reasoning about Actions and Plans. J. Artif. Intell. Res. 9: 463-506 (1998) - [c7]Alessandro Artale, Anna Goy, Bernardo Magnini, Emanuelle Pianta, Carlo Strapparava:
Coping with WORDNET sense proliferation. LREC 1998: 873-878 - 1997
- [c6]Alessandro Artale, Bernardo Magnini, Carlo Strapparava:
WordNet for Italian and Its Use for Lexical Deiscrimination. AI*IA 1997: 346-356 - 1996
- [j2]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) - [j1]Alessandro Artale, Francesca Cesarini, Giovanni Soda:
Describing Database Objects in a Concept Language Environment. IEEE Trans. Knowl. Data Eng. 8(2): 345-351 (1996) - [c5]Alessandro Artale, Enrico Franconi, Nicola Guarino:
Open Problems with Part-Whole Relations. Description Logics 1996: 70-73 - 1994
- [c4]Alessandro Artale, Enrico Franconi:
A Computational Account for a Description Logic of Time and Action. KR 1994: 3-14 - 1993
- [c3]Alessandro Artale, Francesca Cesarini, Elisabetta Grazzini, Giovanni Soda:
Instance Recognition in an Object Database Model. SEBD 1993: 167-181 - [p3]