Program Construction by Refinements Preserving Correctness. - Gaetano Aurelio Lanzarone; Mario Ornaghi (Comput. J., 1975)

Program Proving: Exit and Return Jumps in Structured Programs. - Giorgio De Michelis; Gaetano Aurelio Lanzarone; Carla Simone (GI Jahrestagung, 1976)

More Flexible and Powerful Control Constructs for Structured Programming. - Giorgio De Michelis; Gaetano Aurelio Lanzarone; Carla Simone (International Computing Symposium, 1977)

Guidelines on using net analysis techniques with large specifications. - G. Comparin; Gaetano Aurelio Lanzarone; Kurt Lautenbach; Anastasia Pagnoni; W. Panzeri; A. Torgano (Applications and Theory in Petri Nets, 1985)

A Metalogic Programming Language. - Stefania Costantini; Gaetano Aurelio Lanzarone (ICLP, 1989)

Metalevel Negation in Non-Monotonic Reasoning. - Stefania Costantini; Gaetano Aurelio Lanzarone (LPNMR, 1990)

Metalevel Represantation of Analogical Inference. - Stefania Costantini; Gaetano Aurelio Lanzarone (AI*IA, 1991)

On Procedural Semantics of Metalevel Negation. - Stefania Costantini; Gaetano Aurelio Lanzarone (RCLP, 1991)

Reflective Agents in Metalogic Programming. - Stefania Costantini; Pierangelo Dell'Acqua; Gaetano Aurelio Lanzarone (META, 1992)

Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. - D. Concari; Stefania Costantini; Gaetano Aurelio Lanzarone (GULP, 1993)

Extending Explanation-Based Generalization with Metalogic Programming. - S. Bertarello; Stefania Costantini; Gaetano Aurelio Lanzarone (GULP-PRODE (2), 1994)

Integrating Reflection into SLD-Resolution. - Jonas Barklund; Stefania Costantini; Pierangelo Dell'Acqua; Gaetano Aurelio Lanzarone (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

Reflection through Constraint Satisfaction. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (ICLP, 1994)

Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law. - S. Bertarello; Stefania Costantini; Gaetano Aurelio Lanzarone (ICLP Workshop: Legal Application of Logic Programming, 1994)

Extending Horn Clause Theories by Reflection Principles. - Stefania Costantini; Pierangelo Dell'Acqua; Gaetano Aurelio Lanzarone (JELIA, 1994)

Static Semantics as Program Transformation and Well-founded Computation. - Stefania Costantini; Gaetano Aurelio Lanzarone (NMELP, 1994)

SLD - Resolution with Reflection. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (ILPS, 1994)

A metalogic programming approach: language, semantics and applications. - Stefania Costantini; Gaetano Aurelio Lanzarone (J. Exp. Theor. Artif. Intell., 1994)

Metalevel Negation and Non-Monotonic Reasoning. - Stefania Costantini; Gaetano Aurelio Lanzarone (Methods Log. Comput. Sci., 1994)

Semantical Properties of SLD-Resolution with Reflection. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (ICLP, 1995)

Semantical Properties of Encodings in Logic Programming. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (ILPS, 1995)

Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation. - Stefania Costantini; Gaetano Aurelio Lanzarone (Artif. Intell. Law, 1995)

A formal definition and a sound implementation of analogical reasoning in logic programming. - Stefania Costantini; Gaetano Aurelio Lanzarone; L. Sbarbaro (Ann. Math. Artif. Intell., 1995)

Multiple Metareasoning Agents for Flexible Query-Answering Systems. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (FQAS, 1996)

Asserting Lemmas in the Stable Model Semantics. - Stefania Costantini; Gaetano Aurelio Lanzarone; Giuseppe Magliocco (JICSLP, 1996)

Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. - Gaetano Aurelio Lanzarone; Alessandro Provetti (APPIA-GULP-PRODE, 1998)

Experiments in Answer Sets Planning. - Marcello Balduccini; Gianpaolo Brignoli; Gaetano Aurelio Lanzarone; F. Magni; Alessandro Provetti (MICAI, 2000)

Reflection principles in computational logic. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (J. Log. Comput., 2000)