Kim Marriott

Proceedings of the Graph Drawing - 21st International Symposium, 2013

2012

Memorability of Visual Features in Network Diagrams.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2012

Learning how to trade off aesthetic criteria in layout.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Document Engineering, 2012

Optimal guillotine layout.

[BibT_eX]

[DOI]

Graeme Gange

Proceedings of the ACM Symposium on Document Engineering, 2012

Orthogonal Hyperedge Routing.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2012

Accessible Graphics: Graphics for Vision Impaired People.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

Hi-Trees and Their Layout.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2011

GraVVITAS: Generic Multi-touch Presentation of Accessible Graphics.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Optimal automatic table layout.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Document Engineering, 2011

2010

Optimal <i>k</i>-Level Planarization and Crossing Minimization.

[BibT_eX]

[DOI]

Graeme Gange

Proceedings of the Graph Drawing - 18th International Symposium, 2010

Usability of Accessible Bar Charts.

[BibT_eX]

[DOI]

John Hurst

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Tactile Diagrams: Worth Ten Thousand Words?

[BibT_eX]

[DOI]

Frances Aldrich

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Hi-tree Layout Using Quadratic Programming.

[BibT_eX]

[DOI]

Peter Sbarski

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009

Constrained graph layout by stress majorization and gradient projection.

[BibT_eX]

[DOI]

Discret. Math., 2009

A generic algorithm for layout of biological networks.

[BibT_eX]

[DOI]

BMC Bioinform., 2009

Scrolling behaviour with single- and multi-column layout.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on World Wide Web, 2009

Orthogonal Connector Routing.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 17th International Symposium, 2009

Review of automatic document formatting.

[BibT_eX]

[DOI]

Wilmot Li

Proceedings of the 2009 ACM Symposium on Document Engineering, 2009

2008

Exploration of Networks using overview+detail with Constraint-based cooperative layout.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2008

Comparing usability of one-way and multi-way constraints for diagram editing.

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2008

Interactive, Constraint-based Layout of Engineering Diagrams.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

The Design of the Zinc Modelling Language.

[BibT_eX]

[DOI]

Maria Garcia de la Banda

Constraints An Int. J., 2008

Visualizing Argument Structure.

[BibT_eX]

[DOI]

Proceedings of the Advances in Visual Computing, 4th International Symposium, 2008

Dunnart: A Constraint-Based Network Diagram Authoring Tool.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 16th International Symposium, 2008

Topology Preserving Constrained Graph Layout.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 16th International Symposium, 2008

Authoring adaptive diagrams.

[BibT_eX]

[DOI]

Cameron L. McCormack

Proceedings of the 2008 ACM Symposium on Document Engineering, 2008

Satisficing scrolls: a shortcut to satisfactory layout.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Document Engineering, 2008

Smooth Linear Approximation of Non-overlap Constraints.

[BibT_eX]

[DOI]

Graeme Gange

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

Adding Search to Zinc.

[BibT_eX]

[DOI]

Reza Rafeh

Maria Garcia de la Banda

Nicholas Nethercote

Proceedings of the Principles and Practice of Constraint Programming, 2008

Tactile chart generation tool.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, 2008

2007

From Zinc to Design Model.

[BibT_eX]

[DOI]

Reza Rafeh

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

Developing Domain-Specific Gesture Recognizers for Smart Diagram Environments.

[BibT_eX]

[DOI]

Adrian C. Bickerstaffe

Aidan Lane

Proceedings of the Graphics Recognition. Recent Advances and New Opportunities, 2007

Constrained Stress Majorization Using Diagonally Scaled Gradient Projection.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 15th International Symposium, 2007

Automatic float placement in multi-column documents.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Document Engineering, 2007

Approximating text by its area.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Document Engineering, 2007

Compact Layout of Layered Trees.

[BibT_eX]

[DOI]

Peter Sbarski

Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007

2006

Constraint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Constraint Programming, 2006

IPSep-CoLa: An Incremental Procedure for Separation Constraint Layout of Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2006

Drawing Directed Graphs Using Quadratic Programming.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2006

Adding Constraint Solving to Mercury.

[BibT_eX]

[DOI]

Ralph Becket

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Integrating Edge Routing into Force-Directed Layout.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 14th International Symposium, 2006

Fast Node Overlap Removal - Correction.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 14th International Symposium, 2006

Minimum sized text containment shapes.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Document Engineering, 2006

Solving the simple continuous table layout problem.

[BibT_eX]

[DOI]

David W. Albrecht

Proceedings of the 2006 ACM Symposium on Document Engineering, 2006

The Modelling Language Zinc.

[BibT_eX]

[DOI]

Reza Rafeh

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Checking modes of HAL programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2005

The G12 Project: Mapping Solver Independent Models to Efficient Solutions.

[BibT_eX]

[DOI]

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

Incremental Connector Routing.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 13th International Symposium, 2005

Fast Node Overlap Removal.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 13th International Symposium, 2005

Stress Majorization with Orthogonal Ordering Constraints.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 13th International Symposium, 2005

Toward tighter tables.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

Layout of Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2005, 2005

2004

NP-Completeness of Minimal Width Unordered Tree Layout.

[BibT_eX]

[DOI]

J. Graph Algorithms Appl., 2004

Constraint SVG.

[BibT_eX]

[DOI]

Cameron L. McCormack

Proceedings of the 13th international conference on World Wide Web, 2004

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

[BibT_eX]

[DOI]

Jesús Correas

Francisco Bueno

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

Herbrand Constraints in HAL.

[BibT_eX]

[DOI]

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

Cider: A Component-Based Toolkit for Creating Smart Diagram Environments.

[BibT_eX]

[DOI]

Anthony R. Jansen

Proceedings of the Diagrammatic Representation and Inference, 2004

Towards Flexible Graphical Communication Using Adaptive Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2004

2003

Automatic generation of intelligent diagram editors.

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2003

Removing Node Overlapping in Graph Layout Using Constrained Optimization.

[BibT_eX]

[DOI]

Constraints An Int. J., 2003

ViMer: a visual debugger for mercury.

[BibT_eX]

[DOI]

M. Cameron

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Resource Usage Verification.

[BibT_eX]

[DOI]

Martin Sulzmann

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

Cobweb: A Constraint-Based WEB Browser.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2003, 2003

2002

Flexible Graph Layout for the Web.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2002

QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications.

[BibT_eX]

[DOI]

Constraints An Int. J., 2002

Fast and efficient client-side adaptivity for SVG.

[BibT_eX]

[DOI]

Laurent Tardif

Proceedings of the Eleventh International World Wide Web Conference, 2002

Dynamic approximation of complex graphical constraints by linear constraints.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual ACM Symposium on User Interface Software and Technology, 2002

To the Gates of HAL: A HAL Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

Intelligent Diagrammatic Interfaces: State of the Art.

[BibT_eX]

[DOI]

Gerard Allwein

Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001

A constraint extension to scalable vector graphics.

[BibT_eX]

[DOI]

Greg J. Badros

Jojada J. Tirtowidjojo

Proceedings of the Tenth International World Wide Web Conference, 2001

Deductive Parsing of Visual Languages.

[BibT_eX]

[DOI]

Paolo Bottoni

Francesco Parisi-Presicce

Proceedings of the Logical Aspects of Computational Linguistics, 2001

Building Constraint Solvers with HAL.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 17th International Conference, 2001

Solving Disjunctive Constraints for Interactive Graphical Applications.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Incremental analysis of constraint logic programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2000

Independence in CLP languages.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2000

Constraint-based document layout for the Web.

[BibT_eX]

[DOI]

Alan Borning

Richard Kuang-Hsu Lin

Multim. Syst., 2000

Improving Program Analyses, by Structure Untupling.

[BibT_eX]

[DOI]

Cohavit Taboch

J. Log. Program., 2000

A Model for Inter-module Analysis and Optimizing Compilation.

[BibT_eX]

[DOI]

Francisco Bueno

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

Non-standard Logics for Diagram Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

Formal Approaches to Visual Language Specification and Understanding.

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

Restricted Focus Viewer: A Tool for Tracking Visual Attention.

[BibT_eX]

[DOI]

Alan F. Blackwell

Anthony R. Jansen

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

Model Checking in HAL.

[BibT_eX]

[DOI]

Warwick Harvey

Proceedings of the Computational Logic, 2000

1999

Guest Editor's Introduction.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1999

Book reviews.

[BibT_eX]

[DOI]

Intell., 1999

The AAAI Fall Symposia.

[BibT_eX]

[DOI]

AI Mag., 1999

Constraint-Based Diagram Beautification.

[BibT_eX]

[DOI]

Tom Paton

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Constraint Cascading Style Sheets for the Web.

[BibT_eX]

[DOI]

Proceedings of the 12th Annual ACM Symposium on User Interface Software and Technology, 1999

Herbrand Constraint Solving in HAL.

[BibT_eX]

Warwick Harvey

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

An Overview of HAL.

[BibT_eX]

[DOI]

Warwick Harvey

Proceedings of the Principles and Practice of Constraint Programming, 1999

1998

Optimizing Compilation of CLP(R).

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1998

A Practical Object-Oriented Analysis Engine for CLP.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1998

Two Classes of Boolean Functions for Dependency Analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1998

The Semantics of Constraint Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1998

Differential Methods in Logic Program Analysis.

[BibT_eX]

[DOI]

J. Log. Program., 1998

Constrained Graph Layout.

[BibT_eX]

[DOI]

Weiqing He

Constraints An Int. J., 1998

Introduction to the Special Issue.

[BibT_eX]

[DOI]

Isabel F. Cruz

Pascal Van Hentenryck

Constraints An Int. J., 1998

Automatic Construction of Intelligent Diagram Editors.

[BibT_eX]

[DOI]

Sitt Chen Chok

Proceedings of the 11th Annual ACM Symposium on User Interface Software and Technology, 1998

A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.

[BibT_eX]

[DOI]

Sitt Chen Chok

Alan Finlay

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

On the Classification of Visual Languages by Grammar Hierarchies.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1997

A Confluent Calculus for Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Confluence in Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Algebraic and Logical Semantics for CLP Languages with Dynamic Scheduling.

[BibT_eX]

[DOI]

J. Log. Program., 1997

A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs.

[BibT_eX]

[DOI]

William H. Winsborough

J. Log. Program., 1997

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.

[BibT_eX]

[DOI]

Inf. Comput., 1997

Solving Linear Arithmetic Constraints for User Interface Applications.

[BibT_eX]

[DOI]

Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology, 1997

Abstract Interpretation: A Theory of Approximate Computation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 4th International Symposium, 1997

Constraints for the Web.

[BibT_eX]

[DOI]

Alan Borning

Richard Kuang-Hsu Lin

Proceedings of the Fifth ACM International Conference on Multimedia '97, 1997

Optimization of Logic Programs with Dynamic Scheduling.

[BibT_eX]

Proceedings of the Logic Programming, 1997

1996

Negative Boolean Constraints.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Towards a Hierarchy of Visual Languages.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996

Effectiveness of Optimizing Compilation for CLP(R).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

Automatic construction of user interfaces for pen-based computers.

[BibT_eX]

[DOI]

Proceedings of the workshop on Advanced visual interfaces 1996, 1996

Independence in Dynamically Scheduled Logic Languages.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995

Spatial Query Optimization: From Boolean Constraints to Range Queries.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1995

Incremental Constraint Deletion in Systems of Linear Constraints.

[BibT_eX]

[DOI]

Tien Huynh

Inf. Process. Lett., 1995

Automatic Construction of User Interfaces from Constraint Multiset Grammars.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Efficient Analysis of Logic Programs with Dynamic Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

Parsing Visual Languages with Constraint Multiset Grammars

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1995

Incremental Analysis of Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1995

A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1995

An Optimizing Compiler for CLP(R).

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

Denotational Abstract Interpretation of Logic Programs.

[BibT_eX]

[DOI]

Neil D. Jones

ACM Trans. Program. Lang. Syst., 1994

Suspension Analyses for Concurrent Logic Programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1994

Constraint Multiset Grammars.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Approximating Interaction between Linear Arithmetic Constraints.

[BibT_eX]

Proceedings of the Logic Programming, 1994

Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Analyzing Logic Programs with Dynamic Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Denotational semantics for Concurrent Constraint Programs analyses.

[BibT_eX]

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Confluence and Concurrent Constraint Programming.

[BibT_eX]

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Difference-List Transformation for Prolog.

[BibT_eX]

[DOI]

New Gener. Comput., 1993

Semantics of Constraint Logic Programs with Optimization.

[BibT_eX]

[DOI]

LOPLAS, 1993

Precise and Efficient Groundness Analysis for Logic Programs.

[BibT_eX]

[DOI]

LOPLAS, 1993

Frameworks for Abstract Interpretation.

[BibT_eX]

[DOI]

Acta Informatica, 1993

Independence in Constraint Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1993

The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Compositional Analysis for Concurrent Constraint Programming

[BibT_eX]

[DOI]

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Efficient Analysis of Concurrent Constraint Logic Programs.

[BibT_eX]

[DOI]

William H. Winsborough

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992

Bottom-Up Dataflow Analysis of Normal Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1992

Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.

[BibT_eX]

William H. Winsborough

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

An Object-Oriented Architecture for Constraint-Based Graphical Editing.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Programming for Graphics, 1992

Understanding Finiteness Analysis Using Abstract Interpretation.

[BibT_eX]

Peter A. Bigot

Saumya K. Debray

Proceedings of the Logic Programming, 1992

1991

A declarative specification and semantics for visual languages.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1991

Some Global Compile-Time Optimizations for CLP(R).

[BibT_eX]

Niels Jørgensen

Spiro Michaylov

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Constraint-Based Query Optimization for Spatial Databases.

[BibT_eX]

[DOI]

Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

Elimination of Negation in Term Algebras.

[BibT_eX]

[DOI]

Michael J. Maher

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Suspension Analysis for Concurrent Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1991

1990

Most Specific Logic Programs.

[BibT_eX]

[DOI]

Lee Naish

Ann. Math. Artif. Intell., 1990

Declarative Specification of Visual Languages.

[BibT_eX]

[DOI]

Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990

A Characterization of Non-Floundering Logic Programs.

[BibT_eX]

Philip W. Dart

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Analysis of Constraint Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

On prolog and the occur check problem.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1989

Semantics-Based Dataflow Analysis of Logic Programs.

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Bottom-up Abstract Interpretation of Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1988

Unification Revisited

[BibT_eX]

[DOI]

Michael J. Maher

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

Book Review: Prolog for Programmers, by Feliks Kluzniak and Stanislaw Szpakowicz.

[BibT_eX]

[DOI]

J. Log. Program., 1987

Explicit Representation of Terms Defined by Counter Examples.

[BibT_eX]

[DOI]

J. Autom. Reason., 1987

1986

Declarative Graphics.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Logic Programming, 1986

Unification Revisited.

[BibT_eX]

[DOI]

Michael J. Maher