Davide Martinenghi

133 papers A* 4A 7B 8C 7Journal 45Unranked 58

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	FAIR-CARE: A comparative evaluation of unfairness mitigation approaches. Inf. Softw. Technol. Chiara Criscuolo, Mattia Salnitri, Davide Martinenghi
2026	—	`ed.`	Proceedings of the 33nd Symposium on Advanced Database Systems, SEBD 2025, Ischia, Italy, June 16th to 19th, 2025. SEBD Ilaria Bartolini, Gianluca Cima, Donatella Firmani, Domenico Lembo, Davide Martinenghi, Massimo Mecella, Antonella Poggi
2025	—	`conf`	A Data Pipeline to Classify PCB Welding Defects on Noisy Data. I2MTC Luca Martiri, Andrea Moschetti, Emilia Lenzi, Marco Zanoni, Loredana Cristaldi, Letizia Tanca, Davide Martinenghi
2025	J	`jnl`	A Tutorial On Intersectionality in Fair Rankings. CoRR Chiara Criscuolo, Davide Martinenghi, Giuseppe Piccirillo
2025	J	`jnl`	Computing Non-Dominated Flexible Skylines in Vertically Distributed Datasets with No Random Access. Data Davide Martinenghi
2025	A*	`conf`	Enabling Light-Weight Reasoning via Cypher Triggers. ICDE Davide Magnanimi, Andrea Colombo, Luigi Bellomarini, Anna Bernasconi, Stefano Ceri, Davide Martinenghi
2025	J	`jnl`	Keyword Search in the Deep Web. CoRR Andrea Calì, Davide Martinenghi, Riccardo Torlone
2025	J	`jnl`	Optimization strategies for parallel computation of skylines. Distributed Parallel Databases Paolo Ciaccia, Davide Martinenghi
2025	—	`conf`	Optimizing Defect Detection: A Machine Learning-Ready Data Processing Pipeline. SEBD Loredana Cristaldi, Emilia Lenzi, Davide Martinenghi, Luca Martiri, Andrea Moschetti, Letizia Tanca, Marco Zanoni
2025	J	`jnl`	Parallelizing the Computation of Grid Resistance to Measure the Strength of Skyline Tuples. Algorithms Davide Martinenghi
2025	J	`jnl`	Partitioning Strategies for Parallel Computation of Flexible Skylines. Algorithms Emilio De Lorenzis, Davide Martinenghi
2025	J	`jnl`	Partitioning Strategies for Parallel Computation of Flexible Skylines. CoRR Emilio De Lorenzis, Davide Martinenghi
2025	J	`jnl`	Preference Queries over Taxonomic Domains. CoRR Paolo Ciaccia, Davide Martinenghi, Riccardo Torlone
2025	—	`conf`	Reconciling Statistical and Causal Metrics of Fairness in Machine Learning on Data-Driven Systems. ITADATA Chiara Criscuolo, Davide Martinenghi, Jing Huang
2025	—	`conf`	Relevant, yet Hard to Find: Directional Queries to the Rescue. SEBD Paolo Ciaccia, Davide Martinenghi
2025	—	`conf`	S-PIC4CHU: Semantics-Enriched Techniques for Data Preparation in Data Science. ITADATA Gianvincenzo Alfano, Ilaria Bartolini, Diego Calvanese, Paolo Ciaccia, Sergio Greco, Davide Lanti, Pasquale Leonardo Lazzaro, Emilia Lenzi, Davide Martinenghi, Cristian Molinaro, Marco Patella, Letizia Tanca, Riccardo Torlone, Irina Trubitsyna
2025	—	`conf`	S-PIC4CHU: Semantics-based Provenance, Integrity, and Curation for Consistent, High-quality, and Unbiased Data Science. SEBD Gianvincenzo Alfano, Ilaria Bartolini, Diego Calvanese, Paolo Ciaccia, Sergio Greco, Davide Lanti, Emilia Lenzi, Davide Martinenghi, Cristian Molinaro, Marco Patella, Letizia Tanca, Riccardo Torlone, Irina Trubitsyna
2025	J	`jnl`	Simplified Integrity Checking for an Expressive Class of Denial Constraints. Algorithms Davide Martinenghi
2025	J	`jnl`	Towards a visually interpretable analysis of Two-Phase Locking membership. CoRR Davide Martinenghi
2024	J	`jnl`	Computing the Non-Dominated Flexible Skyline in Vertically Distributed Datasets with No Random Access. CoRR Davide Martinenghi
2024	J	`jnl`	Directional Queries: Making Top-k Queries More Effective in Discovering Relevant Results. Proc. ACM Manag. Data Paolo Ciaccia, Davide Martinenghi
2024	J	`jnl`	Don't go gaga with GIGO. CoRR Hendrik Decker, Davide Martinenghi
2024	B	`conf`	Loss Compensation in Multi-Session Recommendation Under Limited Availability. EDBT Davide Azzalini, Fabio Azzalini, Chiara Criscuolo, Tommaso Dolci, Davide Martinenghi, Sihem Amer-Yahia
2024	J	`jnl`	Optimization Strategies for Parallel Computation of Skylines. CoRR Paolo Ciaccia, Davide Martinenghi
2024	—	`conf`	PG-Triggers: Triggers for Property Graphs. SIGMOD Conference Companion Stefano Ceri, Anna Bernasconi, Alessia Gagliardi, Davide Martinenghi, Luigi Bellomarini, Davide Magnanimi
2024	J	`jnl`	Parallelizing the Computation of Robustness for Measuring the Strength of Tuples. CoRR Davide Martinenghi
2024	J	`jnl`	Simplified integrity checking for an expressive class of denial constraints. CoRR Davide Martinenghi
2024	—	`conf`	Towards a Standard for Triggers in Property Graphs. SEBD Luigi Bellomarini, Anna Bernasconi, Stefano Ceri, Alessia Gagliardi, Davide Magnanimi, Davide Martinenghi
2023	—	`conf`	Injecting Conceptual Constraints into Data Fabrics. SEBD Paolo Ciaccia, Davide Martinenghi, Riccardo Torlone
2023	J	`jnl`	Lecture Notes on Monadic First- and Second-Order Logic on Strings. CoRR Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi
2023	J	`jnl`	PG-Triggers: Triggers for Property Graphs. CoRR Alessia Gagliardi, Anna Bernasconi, Davide Martinenghi, Stefano Ceri
2023	A*	`conf`	Reactive Company Control in Company Knowledge Graphs. ICDE Davide Magnanimi, Luigi Bellomarini, Stefano Ceri, Davide Martinenghi
2023	—	`conf`	The Company Control Problem, Reactively. SEBD Davide Magnanimi, Stefano Ceri, Luigi Bellomarini, Davide Martinenghi
2022	—	`conf`	Conceptual Constraints for Data Quality in Data Lakes. itaDATA Paolo Ciaccia, Davide Martinenghi, Riccardo Torlone
2022	—	`conf`	Helping Wine Lovers With Taxonomies. SEBD Paolo Ciaccia, Davide Martinenghi, Riccardo Torlone
2022	A	`conf`	SoCRATe: A Recommendation System with Limited-Availability Items. CIKM Davide Azzalini, Fabio Azzalini, Chiara Criscuolo, Tommaso Dolci, Davide Martinenghi, Sihem Amer-Yahia
2022	—	`conf`	SoCRATe: a Framework for Compensating Users Over Time with Limited Availability Recommendations. SEBD Davide Azzalini, Fabio Azzalini, Chiara Criscuolo, Tommaso Dolci, Davide Martinenghi, Letizia Tanca, Sihem Amer-Yahia
2021	J	`jnl`	Preference Queries over Taxonomic Domains. Proc. VLDB Endow. Paolo Ciaccia, Davide Martinenghi, Riccardo Torlone
2021	—	`conf`	The POOR-MAD approach: Preferred Objects Over Rich, Multi-Attribute Data (Discussion Paper). SEBD Paolo Ciaccia, Davide Martinenghi, Riccardo Torlone
2020	J	`jnl`	Flexible Skylines: Dominance for Arbitrary Sets of Monotone Functions. ACM Trans. Database Syst. Paolo Ciaccia, Davide Martinenghi
2020	J	`jnl`	Foundations of Context-aware Preference Propagation. J. ACM Paolo Ciaccia, Davide Martinenghi, Riccardo Torlone
2020	—	`conf`	Where Porceddu is better than Pasta. SEBD Paolo Ciaccia, Davide Martinenghi, Riccardo Torlone
2019	B	`conf`	A k-Skyband Approach for Feature Selection. SISAP Marcos V. N. Bedo, Paolo Ciaccia, Davide Martinenghi, Daniel de Oliveira
2019	A	`conf`	Finding Preferred Objects with Taxonomies. ER Paolo Ciaccia, Davide Martinenghi, Riccardo Torlone
2019	—	`conf`	Flexible Score Aggregation (Extended Abstract). SEBD Paolo Ciaccia, Davide Martinenghi
2019	J	`jnl`	Metadata management for scientific databases. Inf. Syst. Pietro Pinoli, Stefano Ceri, Davide Martinenghi, Luca Nanni
2018	—	`ch.`	A Short Account of Techniques for Assisting Users in Mastering Big Data. A Comprehensive Guide Through the Italian Database Research Davide Martinenghi, Elisa Quintarelli, Fabio Alberto Schreiber, Letizia Tanca
2018	—	`conf`	Beyond Skyline and Ranking Queries: Restricted Skylines (Extended Abstract). SEBD Paolo Ciaccia, Davide Martinenghi
2018	—	`conf`	Ethics-aware Data Governance (Vision Paper). SEBD Letizia Tanca, Paolo Atzeni, Davide Azzalini, Ilaria Bartolini, Luca Cabibbo, Luca Calderoni, Paolo Ciaccia, Valter Crescenzi, Juan Carlos De Martin, Selina Fenoglietto, Donatella Firmani, Sergio Greco, Francesco Isgrò, Dario Maio, Davide Martinenghi, Maristella Matera, Paolo Merialdo, Cristian Molinaro, Marco Patella, Roberto Prevete, Elisa Quintarelli, Antonio Santangelo, Andrea Tagarelli, Guglielmo Tamburrini, Riccardo Torlone
2018	A	`conf`	FA + TA <FSA: Flexible Score Aggregation. CIKM Paolo Ciaccia, Davide Martinenghi
2017	J	`jnl`	A workload-dependent task assignment policy for crowdsourcing. World Wide Web Ilio Catallo, Stefano Coniglio, Piero Fraternali, Davide Martinenghi
2017	—	`conf`	Googling the Deep Web (Extended abstract). SEBD Andrea Calì, Davide Martinenghi, Riccardo Torlone
2017	—	`conf`	Querying the Deep Web: Back to the Foundations. AMW Andrea Calì, Davide Martinenghi, Igor Razgon, Martín Ugarte
2017	J	`jnl`	Reconciling Skyline and Ranking Queries. Proc. VLDB Endow. Paolo Ciaccia, Davide Martinenghi
2017	B	`conf`	The Dimensions of Crowdsourcing Task Design. ICWE Ilio Catallo, Davide Martinenghi
2016	J	`jnl`	Crowdsourcing for Top-K Query Processing over Uncertain Data. IEEE Trans. Knowl. Data Eng. Eleonora Ciceri, Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi
2016	A*	`conf`	Crowdsourcing for top-K query processing over uncertain data. ICDE Eleonora Ciceri, Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi
2016	—	`conf`	Humans Fighting Uncertainty: Crowdsourcing for Top-K Query Processing. SEBD Eleonora Ciceri, Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi
2016	A	`conf`	Keyword Queries over the Deep Web. ER Andrea Calì, Davide Martinenghi, Riccardo Torlone
2015	—	`conf`	Champagne: A Web Tool for the Execution of Crowdsourcing Campaigns. WWW (Companion Volume) Carlo Bernaschina, Ilio Catallo, Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi
2015	—	`conf`	Keyword Search in the Deep Web. AMW Andrea Calì, Davide Martinenghi, Riccardo Torlone
2015	B	`conf`	On the Role of Task Design in Crowdsourcing Campaigns. HCOMP Carlo Bernaschina, Ilio Catallo, Piero Fraternali, Davide Martinenghi
2015	—	`conf`	Processing Keyword Queries Under Access Limitations. International KEYSTONE Conference Andrea Calì, Thomas W. Lynch, Davide Martinenghi, Riccardo Torlone
2015	—	`conf`	When Food Matters: Identifying Food-related Events on Twitter. KDWeb Eleonora Ciceri, Ilio Catallo, Davide Martinenghi, Piero Fraternali
2014	J	`jnl`	Determining Relevant Relations for Datalog Queries under Access Limitations is Undecidable. CoRR Davide Martinenghi
2014	B	`conf`	Robust aggregation of GWAP tracks for local image annotation. ICMR Carlo Bernaschina, Piero Fraternali, Luca Galli, Davide Martinenghi, Marco Tagliasacchi
2014	J	`jnl`	Taxonomy-based relaxation of query answering in relational databases. VLDB J. Davide Martinenghi, Riccardo Torlone
2013	A	`conf`	Fashion-focused creative commons social dataset. MMSys Babak Loni, María Menéndez, Mihai Georgescu, Luca Galli, Claudio Massari, Ismail Sengör Altingövde, Davide Martinenghi, Mark S. Melenhorst, Raynor Vliegendhart, Martha A. Larson
2013	J	`jnl`	On the dependency on the size of the data when chasing under conceptual dependencies. CoRR Davide Martinenghi
2013	J	`jnl`	On the difference between checking integrity constraints before or after updates. CoRR Davide Martinenghi
2013	J	`jnl`	Top-k diversity queries over bounded regions. ACM Trans. Database Syst. Ilio Catallo, Eleonora Ciceri, Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi
2012	—	`conf`	A Draw-and-Guess Game to Segment Images. SocialCom/PASSAT Luca Galli, Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi, Jasminko Novak
2012	—	`conf`	A Framework for Crowdsourced Multimedia Processing and Querying. CrowdSearch Alessandro Bozzon, Ilio Catallo, Eleonora Ciceri, Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi
2012	J	`jnl`	Cost-Aware Rank Join with Random and Sorted Access. IEEE Trans. Knowl. Data Eng. Davide Martinenghi, Marco Tagliasacchi
2012	—	`conf`	Dealing with the Deep Web and all its Quirks. VLDS Meghyn Bienvenu, Daniel Deutch, Davide Martinenghi, Pierre Senellart, Fabian M. Suchanek
2012	—	`conf`	Efficient Diversification of Top-k Queries over Bounded Regions. SEBD Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi
2012	J	`jnl`	Proximity measures for rank join. ACM Trans. Database Syst. Davide Martinenghi, Marco Tagliasacchi
2012	—	`conf`	The CUBRIK project: human-enhanced time-aware multimedia search. WWW (Companion Volume) Piero Fraternali, Marco Tagliasacchi, Davide Martinenghi, Alessandro Bozzon, Ilio Catallo, Eleonora Ciceri, Francesco Saverio Nucci, Vincenzo Croce, Ismail Sengör Altingövde, Wolf Siberski, Fausto Giunchiglia, Wolfgang Nejdl, Martha A. Larson, Ebroul Izquierdo, Petros Daras, Otto Chrons, Ralph Traphöner, Björn Decker, John Lomas, Patrick Aichroth, Jasminko Novak, Ghislain Sillaume, Fernando Sánchez-Figueroa, Carolina Salas-Parra
2012	—	`conf`	Top-k bounded diversification. SIGMOD Conference Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi
2011	—	`ch.`	Access Pattern. Encyclopedia of Cryptography and Security (2nd Ed.) Davide Martinenghi
2011	—	`conf`	Answering Queries in a Relaxed Way. SEBD Davide Martinenghi, Riccardo Torlone
2011	—	`conf`	Context through answer set programming. LID Angelo Rauseo, Davide Martinenghi, Letizia Tanca
2011	—	`conf`	Context-Aware Data Tailoring through Answer Set Programming (Extended Abstract). SEBD Angelo Rauseo, Davide Martinenghi, Letizia Tanca
2011	—	`conf`	Contextual Data Tailoring Using ASP. SDKB Angelo Rauseo, Davide Martinenghi, Letizia Tanca
2011	J	`jnl`	Inconsistency-Tolerant Integrity Checking. IEEE Trans. Knowl. Data Eng. Hendrik Decker, Davide Martinenghi
2011	—	`conf`	Ranking with uncertain scoring functions: semantics and sensitivity measures. SIGMOD Conference Mohamed A. Soliman, Ihab F. Ilyas, Davide Martinenghi, Marco Tagliasacchi
2010	C	`conf`	Optimizing Query Processing for the Hidden Web. APWeb Andrea Calì, Davide Martinenghi
2010	—	`conf`	Proximity Rank Join in Search Computing. SeCO Workshop Davide Martinenghi, Marco Tagliasacchi
2010	J	`jnl`	Proximity Rank Join. Proc. VLDB Endow. Davide Martinenghi, Marco Tagliasacchi
2010	A	`conf`	Querying Databases with Taxonomies. ER Davide Martinenghi, Riccardo Torlone
2010	J	`jnl`	Querying Incomplete Data over Extended ER Schemata CoRR Andrea Calì, Davide Martinenghi
2010	J	`jnl`	Querying incomplete data over extended ER schemata. Theory Pract. Log. Program. Andrea Calì, Davide Martinenghi
2010	B	`conf`	Querying the deep web. EDBT Andrea Calì, Davide Martinenghi
2010	—	`conf`	Search Computing Systems (Extended Abstract). SEBD Stefano Ceri, Adnan Abid, Mamoun Abu Helou, Alessandro Bozzon, Daniele Braga, Marco Brambilla, Alessandro Campi, Francesco Corcoglioniti, Emanuele Della Valle, Davide Eynard, Piero Fraternali, Michael Grossniklaus, Davide Martinenghi, Stefania Ronchi, Marco Tagliasacchi, Salvatore Vadacca
2010	J	`jnl`	Search Computing: Managing Complex Search Queries. IEEE Internet Comput. Stefano Ceri, Adnan Abid, Mamoun Abu Helou, Davide Francesco Barbieri, Alessandro Bozzon, Daniele Braga, Marco Brambilla, Alessandro Campi, Francesco Corcoglioniti, Emanuele Della Valle, Davide Eynard, Piero Fraternali, Michael Grossniklaus, Davide Martinenghi, Stefania Ronchi, Marco Tagliasacchi, Salvatore Vadacca
2010	J	`jnl`	Selected papers from the Logic in Databases Workshop 2008. J. Appl. Log. Andrea Calì, Laks V. S. Lakshmanan, Davide Martinenghi
2010	—	`conf`	Top-k pipe join. ICDE Workshops Davide Martinenghi, Marco Tagliasacchi
2010	—	`conf`	Trends in Rank Join. SeCO Workshop Ihab F. Ilyas, Davide Martinenghi, Neoklis Polyzotis, Marco Tagliasacchi
2009	—	`ch.`	Database Integrity Checking. Database Technologies: Concepts, Methodologies, Tools, and Applications Hendrik Decker, Davide Martinenghi
2009	J	`jnl`	Dynamic Query Optimization under Access Limitations and Dependencies. J. Univers. Comput. Sci. Andrea Calì, Diego Calvanese, Davide Martinenghi
2009	J	`jnl`	Logic in databases: report on the LID 2008 workshop. SIGMOD Rec. Andrea Calì, Laks V. S. Lakshmanan, Davide Martinenghi
2009	—	`conf`	Modeling, Measuring and Monitoring the Quality of Information. ER Workshops Hendrik Decker, Davide Martinenghi
2009	C	`conf`	Querying Context-Aware Databases. FQAS Davide Martinenghi, Riccardo Torlone
2009	—	`conf`	Rank-Join Algorithms for Search Computing. SeCO Workshop Ihab F. Ilyas, Davide Martinenghi, Marco Tagliasacchi
2009	—	`conf`	Search Computing: The European Way to Query the Web. SEBD Daniele Braga, Marco Brambilla, Alessandro Campi, Stefano Ceri, Emanuele Della Valle, Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi
2008	—	`conf`	A New Generation Search Engine Supporting Cross Domain Queries. SEBD Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone
2008	C	`conf`	Classifying integrity checking methods with regard to inconsistency tolerance. PPDP Hendrik Decker, Davide Martinenghi
2008	A	`conf`	Conjunctive Query Containment under Access Limitations. ER Andrea Calì, Davide Martinenghi
2008	J	`jnl`	Mashing Up Search Services. IEEE Internet Comput. Daniele Braga, Stefano Ceri, Florian Daniel, Davide Martinenghi
2008	—	`conf`	NGS: a framework for multi-domain query answering. ICDE Workshops Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone
2008	J	`jnl`	Optimization of multi-domain queries on the web. Proc. VLDB Endow. Daniele Braga, Stefano Ceri, Florian Daniel, Davide Martinenghi
2008	A*	`conf`	Querying Data under Access Limitations. ICDE Andrea Calì, Davide Martinenghi
2007	—	`conf`	Getting Rid of Straitjackets for Flexible Integrity Checking. DEXA Workshops Hendrik Decker, Davide Martinenghi
2007	—	`conf`	Optimization of Query Plans in the presence of Access Limitations. EROW Andrea Calì, Diego Calvanese, Davide Martinenghi
2007	—	`conf`	Query Optimisation for Web Data Sources: Minimisation of the Number of Accesses. SEBD Andrea Calì, Davide Martinenghi, Domenico Carbotta
2006	B	`conf`	A Relaxed Approach to Integrity and Inconsistency in Databases. LPAR Hendrik Decker, Davide Martinenghi
2006	—	`conf`	ActiveXQBE: A Visual Paradigm for Triggers over XML Data. EDBT Workshops Daniele Braga, Alessandro Campi, Davide Martinenghi, Alessandro Raffio
2006	—	`conf`	Avenues to Flexible Data Integrity Checking. DEXA Workshops Hendrik Decker, Davide Martinenghi
2006	—	`conf`	Can Integrity Tolerate Inconsistency? SEBD Hendrik Decker, Davide Martinenghi
2006	—	`conf`	Checking Violation Tolerance of Approaches to Database Integrity. ADVIS Hendrik Decker, Davide Martinenghi
2006	—	`conf`	Efficient Integrity Checking over XML Documents. EDBT Workshops Daniele Braga, Alessandro Campi, Davide Martinenghi
2006	—	`conf`	Integrity Checking for Uncertain Data. TDM Hendrik Decker, Davide Martinenghi
2006	J	`jnl`	On Simplification of Database Integrity Constraints. Fundam. Informaticae Henning Christiansen, Davide Martinenghi
2006	—	`conf`	On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases. DEXA Workshops Henning Christiansen, Davide Martinenghi
2005	C	`conf`	Efficient Integrity Checking for Databases with Recursive Views. ADBIS Davide Martinenghi, Henning Christiansen
2005	B	`conf`	Incremental Integrity Checking: Limitations and Possibilities. LPAR Henning Christiansen, Davide Martinenghi
2005	C	`conf`	Transaction Management with Integrity Checking. DEXA Davide Martinenghi, Henning Christiansen
2005	—	`conf`	XQBE: the Swiss Army Knife for Semi-structured Data. SEBD Daniele Braga, Alessandro Campi, Davide Martinenghi, Alessandro Raffio, Damiano Salvi
2004	—	`conf`	Optimal Database Locks for Efficient Integrity Checking. ADBIS (Local Proceedings) Davide Martinenghi
2004	—	`conf`	Simplification of Integrity Constraints for Data Integration. FoIKS Henning Christiansen, Davide Martinenghi
2004	C	`conf`	Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins. FQAS Davide Martinenghi
2003	C	`conf`	Simplification of Database Integrity Constraints Revisited: A Transformational Approach. LOPSTR Henning Christiansen, Davide Martinenghi
2000	J	`jnl`	Symbolic Constraints for Meta-Logic Programming. Appl. Artif. Intell. Henning Christiansen, Davide Martinenghi