A System of Precise Models for Logic Programs. - Zoltan Somogyi (ICLP, 1987)

A Stream AND-Parallel Execution Algorithm with Backtracking. - Zoltan Somogyi; Kotagiri Ramamohanarao; Jayen Vaghani (ICLP/SLP, 1988)

A backtracking algorithm for the stream AND-parallel execution of logic programs. - Zoltan Somogyi; Kotagiri Ramamohanarao; Jayen Vaghani (Int. J. Parallel Program., 1988)

Right-, left- and multi-linear rule transformations that maintain context information. - David B. Kemp; Kotagiri Ramamohanarao; Zoltan Somogyi (VLDB, 1990)

Design Overview of the Aditi Deductive Database System. - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey (ICDE, 1991)

The Aditi Deductive Datebase System. - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey; Tim S. Leask; James Harland (Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993)

Status of the Aditi Deductive Database System. - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey; Tim S. Leask; James Harland (ICLP, 1993)

Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. - Zoltan Somogyi; David B. Kemp; James Harland; Kotagiri Ramamohanarao (EDBT, 1994)

The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. - Zoltan Somogyi; Fergus Henderson; Thomas C. Conway (ILPS Workshop: Implementation Techniques for Logic Programming Languages, 1994)

The Aditi Deductive Database System - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey; Tim S. Leask; James Harland (VLDB J., 1994)

Code Generation for Mercury. - Thomas C. Conway; Fergus Henderson; Zoltan Somogyi (ILPS, 1995)

The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language. - Zoltan Somogyi; Fergus Henderson; Thomas C. Conway (J. Log. Program., 1996)

Database Transactions in a Purely Declarative Logic Programming Language. - David B. Kemp; Thomas C. Conway; Evan P. Harris; Fergus Henderson; Kotagiri Ramamohanarao; Zoltan Somogyi (DASFAA, 1997)

Termination Analysis for Mercury. - Chris Speirs; Zoltan Somogyi; Harald Søndergaard (SAS, 1997)

Making Mercury Programs Tail Recursive. - Peter Ross; David Overton; Zoltan Somogyi (LOPSTR, 1999)

MCORBA: A CORBA Binding for Mercury. - David Jeffery; Tyson Dowd; Zoltan Somogyi (PADL, 1999)

Run Time Type Information in Mercury. - Tyson Dowd; Zoltan Somogyi; Fergus Henderson; Thomas C. Conway; David Jeffery (PPDP, 1999)

The Implementation Technology of the Mercury Debugger. - Zoltan Somogyi; Fergus Henderson (WLPE@ICLP, 1999)

Type Classes in Mercury. - David Jeffery; Fergus Henderson; Zoltan Somogyi (ACSC, 2000)

Compiling Mercury to High-Level C Code. - Fergus Henderson; Zoltan Somogyi (CC, 2002)

Constraint-based mode analysis of mercury. - David Overton; Zoltan Somogyi; Peter J. Stuckey (PPDP, 2002)

Using the heap to eliminate stack accesses. - Zoltan Somogyi; Peter J. Stuckey (PPDP, 2002)

Idempotent I/O for safe time travel - Zoltan Somogyi (CoRR, 2003)

Divide-and-query and subterm dependency tracking in the mercury declarative debugger. - Ian MacLarty; Zoltan Somogyi; Mark Brown (AADEBUG, 2005)

The G12 Project: Mapping Solver Independent Models to Efficient Solutions. - Peter J. Stuckey; Maria J. García de la Banda; Michael J. Maher; Kim Marriott; John K. Slaney; Zoltan Somogyi; Mark Wallace 001; Toby Walsh (ICLP, 2005)

Adding Constraint Solving to Mercury. - Ralph Becket; Maria J. García de la Banda; Kim Marriott; Zoltan Somogyi; Peter J. Stuckey; Mark Wallace 001 (PADL, 2006)

Controlling Search Space Materialization in a Practical Declarative Debugger. - Ian MacLarty; Zoltan Somogyi (PADL, 2006)

Tabling in Mercury: Design and Implementation. - Zoltan Somogyi; Konstantinos Sagonas (PADL, 2006)

Runtime support for region-based memory management in Mercury. - Quan Phan; Zoltan Somogyi; Gerda Janssens (ISMM, 2008)

DCGs + Memoing = Packrat Parsing but Is It Worth It? - Ralph Becket; Zoltan Somogyi (PADL, 2008)

Half Reification and Flattening. - Thibaut Feydy; Zoltan Somogyi; Peter J. Stuckey (CP, 2011)

Minimizing the overheads of dependent {AND}-parallelism. - Peter Wang; Zoltan Somogyi (ICLP (Technical Communications), 2011)

Profiling parallel Mercury programs with ThreadScope - Paul Bone; Zoltan Somogyi (CoRR, 2011)

Estimating the overlap between dependent computations for automatic parallelization. - Paul Bone; Zoltan Somogyi; Peter Schachte (Theory Pract. Log. Program., 2011)

Towards region-based memory management for Go. - Matthew Davis 001; Peter Schachte; Zoltan Somogyi; Harald Søndergaard (MSPC, 2012)

Controlling loops in parallel mercury code. - Paul Bone; Zoltan Somogyi; Peter Schachte (DAMP, 2012)

A low overhead method for recovering unused memory inside regions. - Matthew Davis 001; Peter Schachte; Zoltan Somogyi; Harald Søndergaard (MSPC@PLDI, 2013)

Region-based memory management for Mercury programs. - Quan Phan; Gerda Janssens; Zoltan Somogyi (Theory Pract. Log. Program., 2013)