Germán Puebla

According to our database, Germán Puebla authored at least 108 papers between 1995 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez

Softw. Syst. Model., 2016

2015

A multi-domain incremental analysis engine and its application to incremental resource analysis.

Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez

Theor. Comput. Sci., 2015

Object-sensitive cost analysis for concurrent objects.

Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez

Softw. Test. Verification Reliab., 2015

A practical comparator of cost functions and its applications.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Sci. Comput. Program., 2015

Quantified abstract configurations of distributed systems.

Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez

Formal Aspects Comput., 2015

Resource Analysis: From Sequential to Concurrent and Distributed Programs.

Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez

Proceedings of the FM 2015: Formal Methods, 2015

2014

Selected and extended papers from Bytecode 2013.

Miguel Gómez-Zamalloa, Germán Puebla

Sci. Comput. Program., 2014

Conditional termination of loops over heap-allocated data.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez

Sci. Comput. Program., 2014

SACO: Static Analyzer for Concurrent Objects.

Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Quantified Abstractions of Distributed Systems.

Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

An overview of Ciao and its design philosophy.

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla

Theory Pract. Log. Program., 2012

Certificate size reduction in abstraction-carrying code.

Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2012

Cost analysis of object-oriented bytecode programs.

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini

Theor. Comput. Sci., 2012

Incremental resource usage analysis.

Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

COSTABS: a cost and termination analyzer for ABS.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Automatic Inference of Resource Consumption Bounds.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Automatic Inference of Bounds on Resource Consumption.

Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini

Proceedings of the Formal Methods for Components and Objects, 2012

2011

Efficient local unfolding with ancestor stacks.

Germán Puebla, Elvira Albert, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2011

Editorial.

Julia Lawall, Germán Puebla, Germán Vidal

High. Order Symb. Comput., 2011

Closed-Form Upper Bounds in Static Cost Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

J. Autom. Reason., 2011

An Overview of the Ciao System.

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Verified resource guarantees using COSTA and KeY.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Cost Analysis of Concurrent OO Programs.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Test case generation for object-oriented imperative languages in CLP.

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla

Theory Pract. Log. Program., 2010

HATS - A Formal Software Product Line Engineering Methodology.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong

Proceedings of the Software Product Lines - 14th International Conference, 2010

From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes

Proceedings of the Static Analysis - 17th International Symposium, 2010

PET: a partial evaluation-based test case generation tool for Java bytecode.

Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Compositional CLP-Based Test Data Generation for Imperative Languages.

Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries.

Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Type-based homeomorphic embedding for online termination.

Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla

Inf. Process. Lett., 2009

Decompilation of Java bytecode to Prolog by partial evaluation.

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla

Inf. Softw. Technol., 2009

Termination and Cost Analysis with COSTA and its User Interfaces.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

On the Generation of Test Data for Prolog by Partial Evaluation

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla

CoRR, 2009

Resource Usage Analysis and Its Application to Resource Certification.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Foundations of Security Analysis and Design V, 2009

Comparing Cost Functions in Resource Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

Field-Sensitive Value Analysis by Field-Insensitive Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Proceedings of the FM 2009: Formal Methods, 2009

Asymptotic Resource Usage Bounds.

Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Abstraction-Carrying Code: a Model for Mobile Code Safety.

Elvira Albert, Germán Puebla, Manuel V. Hermenegildo

New Gener. Comput., 2008

Oracle-Based Partial Evaluation.

Claudio Ochoa, Germán Puebla

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Cost Relation Systems: A Language-Independent Target Language for Cost Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Modular Decompilation of Low-Level Code by Partial Evaluation.

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Proceedings of the Static Analysis, 15th International Symposium, 2008

Removing useless variables in cost analysis of Java bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A practical type analysis for verification of modular prolog programs.

Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Test Data Generation of Bytecode by CLP Partial Evaluation.

Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Termination Analysis of Java Bytecode.

Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla

Proceedings of the Concurrency, 2008

2007

Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Experiments in Cost Analysis of Java Bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Some Issues on Incremental Abstraction-Carrying Code

Elvira Albert, Puri Arenas, Germán Puebla

CoRR, 2007

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo

CoRR, 2007

Poly-controlled partial evaluation in practice.

Claudio Ochoa, Germán Puebla

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Combining Static Analysis and Profiling for Estimating Execution Times.

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.

Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.

Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Cost Analysis of Java Bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Programming Languages and Systems, 2007

2006

A Study on the Practicality of Poly-Controlled Partial Evaluation.

Claudio Ochoa, Germán Puebla

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

MOBIUS: Mobility, Ubiquity, Security.

Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Abstract Interpretation with Specialized Definitions.

Germán Puebla, Elvira Albert, Manuel V. Hermenegildo

Proceedings of the Static Analysis, 13th International Symposium, 2006

Poly-controlled partial evaluation.

Germán Puebla, Claudio Ochoa

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Context-Sensitive Multivariant Assertion Checking in Modular Programs.

Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic for Programming, 2006

An Incremental Approach to Abstraction-Carrying Code.

Elvira Albert, Puri Arenas, Germán Puebla

Proceedings of the Logic for Programming, 2006

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 22nd International Conference, 2006

Reduced Certificates for Abstraction-Carrying Code.

Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 22nd International Conference, 2006

High-level languages for small devices: a case study.

Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the 2006 International Conference on Compilers, 2006

2005

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García

Sci. Comput. Program., 2005

Abstraction carrying code and resource-awareness.

Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.

Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Converting One Type-Based Abstract Domain to Another.

John P. Gallagher, Germán Puebla, Elvira Albert

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Experiments in Context-Sensitive Analysis of Modular Programs.

Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.

Elvira Albert, Germán Puebla, John P. Gallagher

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

A Generic Framework for the Analysis and Specialization of Logic Programs.

Germán Puebla, Elvira Albert, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 21st International Conference, 2005

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.

José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

An Abstract Interpretation-based Approach to Mobile Code Safety.

Elvira Albert, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

Experiments in abstract interpretation-based code certification for pervasive systems.

Elvira Albert, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the IEEE International Conference on Systems, 2004

Abstraction-Carrying Code.

Elvira Albert, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic for Programming, 2004

A Generic Framework for Context-Sensitive Analysis of Modular Programs.

Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Efficient Local Unfolding with Ancestor Stacks for Full Prolog.

Germán Puebla, Elvira Albert, Manuel V. Hermenegildo

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Abstract Interpretation-Based Mobile Code Certification.

Elvira Albert, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 20th International Conference, 2004

Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System.

Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García

Proceedings of the Static Analysis, 10th International Symposium, 2003

Abstract specialization and its applications.

Germán Puebla, Manuel V. Hermenegildo

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

2002

Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs.

John P. Gallagher, Germán Puebla

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Program Debugging and Validation Using Semantic Approximations and Partial Specifications.

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Abstract Verification and Debugging of Constraint Logic Programs.

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García

Proceedings of the Recent Advances in Constraints, 2002

2000

Incremental analysis of constraint logic programs.

Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey

ACM Trans. Program. Lang. Syst., 2000

A Model for Inter-module Analysis and Optimizing Compilation.

Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

A Generic Processor for Program Validation and Debugging.

Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

An Assertion Language for Constraint Logic Programs.

Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

1999

Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs.

Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999

Preface.

Mireille Ducassé, Anthony J. Kusalik, Germán Puebla

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

Abstract Multiple Specialization and Its Application to Program Parallelization.

Germán Puebla, Manuel V. Hermenegildo

J. Log. Program., 1999

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework.

Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.

Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo

Proceedings of the Logic Programming Synthesis and Transformation, 1999

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor.

Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging.

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

A Framework for Assertion-Based Debugging in Constraint Logic Programming.

Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Tools and Environments for (Constraint) Logic Programming (Workshop Overview).

Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte

Proceedings of the Logic Programming, 1997

Optimization of Logic Programs with Dynamic Scheduling.

Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey

Proceedings of the Logic Programming, 1997

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.

Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

Optimized Algorithms for Incremental Analysis of Logic Programs.

Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Static Analysis, Third International Symposium, 1996

Automatic Optimization of Dynamic Scheduling in Logic Programs.

Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Programming Languages: Implementations, 1996

Abstract Specialization and Its Application to Program Parallelization.

Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic Programming Synthesis and Transformation, 1996

Global Analysis of Standard Prolog Programs.

Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla

Proceedings of the Programming Languages and Systems, 1996

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.

Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Implementation of Multiple Specialization in Logic Programs.

Germán Puebla, Manuel V. Hermenegildo

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

Incremental Analysis of Logic Programs.

Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey

Proceedings of the Logic Programming, 1995