Peter J. Stuckey

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search combinators. Constraints 18(2): 269-305 (2013)

Amit Metodi, Michael Codish, Peter J. Stuckey: Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. J. Artif. Intell. Res. (JAIR) 46: 303-341 (2013)

Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace: Solving RCPSP/max by lazy clause generation. J. Scheduling 16(3): 273-289 (2013)

Andreas Schutt, Thibaut Feydy, Peter J. Stuckey: Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CPAIOR 2013: 234-250

Peter J. Stuckey, Guido Tack: MiniZinc with Functions. CPAIOR 2013: 268-283

Hanyu Gu, Andreas Schutt, Peter J. Stuckey: A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects. CPAIOR 2013: 340-346

Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte: Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS 2013: 277-291

Geoffrey Chu, Peter J. Stuckey: A complete solution to the Maximum Density Still Life Problem. Artif. Intell. 184-185: 1-16 (2012)

Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh: AI@NICTA. AI Magazine 33(3): 115- (2012)

Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey: Exploiting subproblem dominance in constraint programming. Constraints 17(1): 1-38 (2012)

Nicholas Downing, Thibaut Feydy, Peter J. Stuckey: Explaining alldifferent. ACSC 2012: 115-124

Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey: Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. APLAS 2012: 115-130

Geoffrey Chu, Peter J. Stuckey: A Generic Method for Identifying and Exploiting Dominance Relations. CP 2012: 6-22

Ignasi Abío, Peter J. Stuckey: Conflict Directed Lazy Decomposition. CP 2012: 70-85

Geoffrey Chu, Peter J. Stuckey: Inter-instance Nogood Learning in Constraint Programming. CP 2012: 238-247

Kathryn Francis, Sebastian Brand, Peter J. Stuckey: Optimisation Modelling for Software Developers. CP 2012: 274-289

Hanyu Gu, Peter J. Stuckey, Mark G. Wallace: Maximising the Net Present Value of Large Resource-Constrained Projects. CP 2012: 767-781

Nicholas Downing, Thibaut Feydy, Peter J. Stuckey: Explaining Flow-Based Propagation. CPAIOR 2012: 146-162

Graeme Gange, Peter J. Stuckey: Explaining Propagators for s-DNNF Circuits. CPAIOR 2012: 195-210

Andreas Schutt, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace: Maximising the Net Present Value for Resource-Constrained Project Scheduling. CPAIOR 2012: 362-378

Michael Wybrow, Kim Marriott, Peter J. Stuckey: Orthogonal Hyperedge Routing. Diagrams 2012: 51-64

Graeme Gange, Kim Marriott, Peter J. Stuckey: Optimal guillotine layout. ACM Symposium on Document Engineering 2012: 13-22

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey: A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119

Broes de Cat, Marc Denecker, Peter J. Stuckey: Lazy Model Expansion by Incremental Grounding. ICLP (Technical Communications) 2012: 201-211

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: An Introduction to Search Combinators. LOPSTR 2012: 2-16

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators. CoRR abs/1203.1095 (2012)

Andreas Schutt, Thibaut Feydy, Peter J. Stuckey: Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CoRR abs/1208.3015 (2012)

Arun Siddharth Konagurthu, Lloyd Allison, Peter J. Stuckey, Arthur M. Lesk: Piecewise linear approximation of protein structures using the principle of minimum message length. Bioinformatics [ISMB/ECCB] 27(13): 43-51 (2011)

Alex Stivala, Michael Wybrow, Anthony Wirth, James C. Whisstock, Peter J. Stuckey: Automatic generation of protein structure cartoons with Pro-origami. Bioinformatics 27(23): 3315-3316 (2011)

Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace, Sebastian Brand: Dantzig-Wolfe decomposition and branch-and-price solving in G12. Constraints 16(1): 77-99 (2011)

Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey: CP and IP approaches to cancer radiotherapy delivery optimization. Constraints 16(2): 173-194 (2011)

Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace: Explaining the cumulative propagator. Constraints 16(3): 250-282 (2011)

Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek: MDD propagators with explanation. Constraints 16(4): 407-429 (2011)

Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu: Solving Talent Scheduling with Dynamic Programming. INFORMS Journal on Computing 23(1): 120-137 (2011)

Andreas Schutt, Peter J. Stuckey, Andrew R. Verden: Optimal Carpet Cutting. CP 2011: 69-84

Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey: Half Reification and Flattening. CP 2011: 286-301

Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Boolean Equi-propagation for Optimized SAT Encoding. CP 2011: 621-636

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators. CP 2011: 774-788

Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey: Optimal automatic table layout. ACM Symposium on Document Engineering 2011: 23-32

Leslie De Koninck, Sebastian Brand, Peter J. Stuckey: Constraints in Non-Boolean Contexts. ICLP (Technical Communications) 2011: 117-127

Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears: Symmetries and Lazy Clause Generation. IJCAI 2011: 516-521

Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey: Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One. SAT 2011: 273-286

Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey: Memoizing a Monadic Mixin DSL. WFLP 2011: 68-85

Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Boolean Equi-propagation for Optimized SAT Encoding. CoRR abs/1104.4617 (2011)

Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs. CoRR abs/1109.2139 (2011)

Raj K. Gaire, James Bailey, Jennifer Bearfoot, Ian G. Campbell, Peter J. Stuckey, Izhak Haviv: MIRAGAA - a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer. Bioinformatics 26(2): 161-167 (2010)

Alex Stivala, Peter J. Stuckey, Anthony Wirth: Fast and accurate protein substructure searching with simulated annealing and GPUs. BMC Bioinformatics 11: 446 (2010)

Peter J. Stuckey: Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008). Constraints 15(2): 149-150 (2010)

Peter J. Stuckey, Ralph Becket, Julien Fischer: Philosophy of the MiniZinc challenge. Constraints 15(3): 307-316 (2010)

Andreas Schutt, Peter J. Stuckey: Incremental Satisfiability and Implication for UTVPI Constraints. INFORMS Journal on Computing 22(4): 514-527 (2010)

Graeme Gange, Peter J. Stuckey, Vitaly Lagoon: Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. (JAIR) 38: 307-338 (2010)

Alex Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth: Lock-free parallel dynamic programming. J. Parallel Distrib. Comput. 70(8): 839-848 (2010)

Nicholas Downing, Peter J. Stuckey, Anthony Wirth: Improved consensus clustering via linear programming. ACSC 2010: 61-70

Peter J. Stuckey: Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. CPAIOR 2010: 5-9

Timo Berthold, Thibaut Feydy, Peter J. Stuckey: Rapid Learning for Binary Programs. CPAIOR 2010: 51-55

Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey: Automatically Exploiting Subproblem Equivalence in Constraint Programming. CPAIOR 2010: 71-86

Graeme Gange, Peter J. Stuckey, Kim Marriott: Optimal k-Level Planarization and Crossing Minimization. Graph Drawing 2010: 238-249

Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace: Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation. CoRR abs/1009.0347 (2010)

Alex Stivala, Anthony Wirth, Peter J. Stuckey: Tableau-based protein substructure search using quadratic programming. BMC Bioinformatics 10 (2009)

Thibaut Feydy, Peter J. Stuckey: Propagating systems of dense linear integer constraints. Constraints 14(2): 235-253 (2009)

Olga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation via lazy clause generation. Constraints 14(3): 357-391 (2009)

Tom Schrijvers, Peter J. Stuckey, Philip Wadler: Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009)

Geoffrey Chu, Aaron Harwood, Peter J. Stuckey: Cache Conscious Data Structures for Boolean Satisfiability Solvers. JSAT 6(1-3): 99-120 (2009)

Christian Schulte, Peter J. Stuckey: Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31(2) (2009)

Geoffrey Chu, Christian Schulte, Peter J. Stuckey: Confidence-Based Work Stealing in Parallel Constraint Programming. CP 2009: 226-241

Geoffrey Chu, Peter J. Stuckey: Minimizing the Maximum Number of Open Stacks by Customer Search. CP 2009: 242-257

Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda: Using Relaxations in Maximum Density Still Life. CP 2009: 258-273

Thibaut Feydy, Peter J. Stuckey: Lazy Clause Generation Reengineered. CP 2009: 352-366

Alan M. Frisch, Peter J. Stuckey: The Proper Treatment of Undefinedness in Constraint Languages. CP 2009: 367-382

Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack: Maintaining State in Propagation Solvers. CP 2009: 692-706

Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace: Why Cumulative Decomposition Is Not as Bad as It Sounds. CP 2009: 746-761

Michael Wybrow, Kim Marriott, Peter J. Stuckey: Orthogonal Connector Routing. Graph Drawing 2009: 219-231

Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey: Demand-Driven Normalisation for ACD Term Rewriting. ICLP 2009: 484-488

Michael Codish, Samir Genaim, Peter J. Stuckey: A declarative encoding of telecommunications feature subscription in SAT. PPDP 2009: 255-266

Arun Siddharth Konagurthu, Peter J. Stuckey, Arthur M. Lesk: Structural search and retrieval using a tableau representation of protein folding patterns. Bioinformatics 24(5): 645-651 (2008)

Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace: The Design of the Zinc Modelling Language. Constraints 13(3): 229-267 (2008)

Natashia Boland, Barry D. Hughes, Liam T. G. Merlot, Peter J. Stuckey: New integer linear programming approaches for course timetabling. Computers & OR 35(7): 2209-2233 (2008)

Martin Sulzmann, Peter J. Stuckey: HM(X) type inference is CLP(X) solving. J. Funct. Program. 18(2): 251-283 (2008)

Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. JSAT 5(1-4): 193-215 (2008)

Michael Wybrow, Kim Marriott, Linda Mciver, Peter J. Stuckey: Comparing usability of one-way and multi-way constraints for diagram editing. ACM Trans. Comput.-Hum. Interact. 14(4) (2008)

Christian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31(1) (2008)

Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic programming with satisfiability. TPLP 8(1): 121-128 (2008)

Peter J. Stuckey: Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages. TPLP 8(2): 242-246 (2008)

Tim Dwyer, Kim Marriott, Falk Schreiber, Peter J. Stuckey, Michael Woodward, Michael Wybrow: Exploration of Networks using overview+detail with Constraint-based cooperative layout. IEEE Trans. Vis. Comput. Graph. 14(6): 1293-1300 (2008)

Olga Ohrimenko, Peter J. Stuckey: Modelling for Lazy Clause Generation. CATS 2008: 27-37

Samuel Huston, Jakob Puchinger, Peter J. Stuckey: The Core Concept for 0/1 Integer Programming. CATS 2008: 39-47

Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand: From High-Level Model to Branch-and-Price Solution in G12. CPAIOR 2008: 218-232

Graeme Gange, Kim Marriott, Peter J. Stuckey: Smooth Linear Approximation of Non-overlap Constraints. Diagrams 2008: 45-59

Graeme Gange, Vitaly Lagoon, Peter J. Stuckey: Fast Set Bounds Propagation using BDDs. ECAI 2008: 505-509

Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck: Optimizing Compilation of CHR with Rule Priorities. FLOPS 2008: 32-47

Christian Schulte, Peter J. Stuckey: Dynamic Analysis of Bounds Versus Domain Propagation. ICLP 2008: 332-346

Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey: Cadmium: An Implementation of ACD Term Rewriting. ICLP 2008: 531-545

Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Telecommunications Feature Subscription as a Partial Order Constraint Problem. ICLP 2008: 749-753

Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey: Flexible, Rule-Based Constraint Model Linearisation. PADL 2008: 68-83

Jakob Puchinger, Peter J. Stuckey: Automating branch-and-bound for dynamic programs. PEPM 2008: 81-89

Thibaut Feydy, Andreas Schutt, Peter J. Stuckey: Global difference constraint propagation for finite domain solvers. PPDP 2008: 226-235

Christian Schulte, Peter J. Stuckey: Dynamic variable elimination during propagation solving. PPDP 2008: 247-257

Peter J. Stuckey (Ed.): Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Lecture Notes in Computer Science 5202, Springer 2008, isbn 978-3-540-85957-4

Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: The island confinement method for reducing search space in local search methods. J. Heuristics 13(6): 557-585 (2007)

Maria Garcia de la Banda, Peter J. Stuckey: Dynamic Programming to Minimize the Maximum Number of Open Stacks. INFORMS Journal on Computing 19(4): 607-617 (2007)

Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey: Understanding functional dependencies via constraint handling rules. J. Funct. Program. 17(1): 83-129 (2007)

Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4) (2007)

Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh: Encodings of the Sequence Constraint. CP 2007: 210-224

Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack: MiniZinc: Towards a Standard CP Modelling Language. CP 2007: 529-543

Olga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation = Lazy Clause Generation. CP 2007: 544-558

Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey: Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. CPAIOR 2007: 1-15

Kenneth A. Ross, Peter J. Stuckey, Amélie Marian: Practical Preference Relations for Large Data Sets. ICDE Workshops 2007: 229-236

Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann: Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239

Thibaut Feydy, Peter J. Stuckey: Propagating dense systems of integer linear equations. SAC 2007: 306-310

Kathryn Francis, Peter J. Stuckey: Constraint propagation for loose constraint graphs. SAC 2007: 334-335

Andreas Schutt, Peter J. Stuckey: Incremental Satisfiability and Implication for UTVPI Constraints. CoRR abs/0709.2961 (2007)

Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic Programming with Satisfiability. CoRR abs/cs/0702072 (2007)

Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth: Automatic Implication Checking for CHR Constraints. Electr. Notes Theor. Comput. Sci. 147(1): 93-111 (2006)

Arun Siddharth Konagurthu, Peter J. Stuckey: Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman Bounds. Journal of Computational Biology 13(3): 668-685 (2006)

Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey: Improving PARMA trailing. TPLP 6(6): 609-644 (2006)

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Type Processing by Constraint Reasoning. APLAS 2006: 1-25

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey: Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43

Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence 2006: 49-58

Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey: Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey: A Framework for Extended Algebraic Data Types. FLOPS 2006: 47-64

Tim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal - Correction. Graph Drawing 2006: 446-447

Gregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting. ICLP 2006: 117-131

Peter Hawkins, Peter J. Stuckey: A Hybrid BDD and SAT Finite Domain Constraint Solver. PADL 2006: 103-117

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

Rafiq Muhammad, Peter J. Stuckey: A Stochastic Non-CNF SAT Solver. PRICAI 2006: 120-129

Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. RTA 2006: 4-18

Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: Islands for SAT. CoRR abs/cs/0607071 (2006)

Gregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting. CoRR abs/cs/0608016 (2006)

Christian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. CoRR abs/cs/0611009 (2006)

Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. (JAIR) 24: 109-156 (2005)

Christian Schulte, Peter J. Stuckey: When do bounds and domain propagation lead to the same search space? ACM Trans. Program. Lang. Syst. 27(3): 388-425 (2005)

Peter J. Stuckey, Martin Sulzmann: A theory of overloading. ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005)

Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck: Optimizing compilation of constraint handling rules in HAL. TPLP 5(4-5): 503-531 (2005)

Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen: Checking modes of HAL programs. TPLP 5(6): 623-668 (2005)

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

Tim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal. Graph Drawing 2005: 153-164

Michael Wybrow, Kim Marriott, Peter J. Stuckey: Incremental Connector Routing. Graph Drawing 2005: 446-457

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

Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Testing for Termination with Monotonicity Constraints. ICLP 2005: 326-340

James Bailey, Peter J. Stuckey: Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. PADL 2005: 174-186

Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck: Abstract interpretation for constraint handling rules. PPDP 2005: 218-229

Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing. CoRR abs/cs/0505085 (2005)

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improved Inference for Checking Annotations. CoRR abs/cs/0507036 (2005)

Peter J. Stuckey, Martin Sulzmann: Type Inference for Guarded Recursive Data Types. CoRR abs/cs/0507037 (2005)

Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. CoRR abs/cs/0512067 (2005)

Arun Siddharth Konagurthu, James C. Whisstock, Peter J. Stuckey: Progressive Multiple Alignment Using Sequence Triplet Optimizations and Three-residue Exchange Costs. J. Bioinformatics and Computational Biology 2(4): 719-746 (2004)

Kim Marriott, Peter J. Stuckey: NP-Completeness of Minimal Width Unordered Tree Layout. J. Graph Algorithms Appl. 8(2): 295-312 (2004)

Kim Marriott, Bernd Meyer, Peter J. Stuckey: Towards Flexible Graphical Communication Using Adaptive Diagrams. ASIAN 2004: 380-394

Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence 2004: 706-717

Vitaly Lagoon, Peter J. Stuckey: Set Domain Propagation Using ROBDDs. CP 2004: 347-361

Christian Schulte, Peter J. Stuckey: Speeding Up Constraint Propagation. CP 2004: 619-633

Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann: Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improving type error diagnosis. Haskell 2004: 80-91

Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur: The Refined Operational Semantics of Constraint Handling Rules. ICLP 2004: 90-104

Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey: Compiling Ask Constraints. ICLP 2004: 105-119

Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260

Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey: Herbrand Constraints in HAL. Program Development in Computational Logic 2004: 499-538

Konstantinos F. Sagonas, Peter J. Stuckey: Just enough tabling. PPDP 2004: 78-89

Yukiyoshi Kameyama, Peter J. Stuckey (Eds.): Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Lecture Notes in Computer Science 2998, Springer 2004, isbn 3-540-21402-X

Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited. CoRR abs/cs/0412021 (2004)

Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing Propagation Redundant Constraints in Redundant Modeling. CoRR abs/cs/0412026 (2004)

Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck: Optimizing compilation of constraint handling rules in HAL. CoRR cs.PL/0408025 (2004)

Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen: Checking modes of HAL programs. CoRR cs.PL/0409038 (2004)

Kim Marriott, Peter J. Stuckey, Vincent Tam, Weiqing He: Removing Node Overlapping in Graph Layout Using Constrained Optimization. Constraints 8(2): 143-171 (2003)

Warwick Harvey, Peter J. Stuckey: Improving Linear Constraint Propagation by Changing Constraint Representation. Constraints 8(2): 173-207 (2003)

Steve Barker, Peter J. Stuckey: Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur. 6(4): 501-546 (2003)

Kim Marriott, Peter J. Stuckey, Martin Sulzmann: Resource Usage Verification. APLAS 2003: 212-229

Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228

Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy in Redundant Modelling. CP 2003: 229-243

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Interactive type debugging in Haskell. Haskell 2003: 72-83

Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey: Termination Analysis with Types Is More Accurate. ICLP 2003: 254-268

Peter J. Stuckey, Lei Zheng: Improving Nogood Recording Using 2SAT. ICTAI 2003: 94-99

Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369

Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371

Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny: Finding all minimal unsatisfiable subsets. PPDP 2003: 32-43

Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur: Extending arbitrary solvers with constraint handling rules. PPDP 2003: 79-90

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: The Chameleon Type Debugger (Tool Demonstration). CoRR cs.PL/0311023 (2003)

Warwick Harvey, Peter J. Stuckey, Alan Borning: Fourier Elimination for Compiling Constraint Hierarchies. Constraints 7(2): 199-219 (2002)

Bruce Davey, Natashia Boland, Peter J. Stuckey: Efficient Intelligent Backtracking Using Linear Programming. INFORMS Journal on Computing 14(4): 373-386 (2002)

Trevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey: Flexible Graph Layout for the Web. J. Vis. Lang. Comput. 13(1): 35-60 (2002)

Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: Reducing Search Space in Local Search for Constraint Satisfaction. AAAI/IAAI 2002: 28-33

Lei Zheng, Peter J. Stuckey: Improving SAT Using 2SAT. ACSC 2002: 331-340

Inga Sitzmann, Peter J. Stuckey: Compacting Discriminator Information for Spatial Trees. Australasian Database Conference 2002

Peter J. Stuckey, Lei Zheng: Improving GSAT Using 2SAT. CP 2002: 691-695

Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey: To the Gates of HAL: A HAL Tutorial. FLOPS 2002: 47-66

Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Exception analysis for non-strict languages. ICFP 2002: 98-109

Peter J. Stuckey, Martin Sulzmann: A theory of overloading. ICFP 2002: 167-178

Liam T. G. Merlot, Natashia Boland, Barry D. Hughes, Peter J. Stuckey: A Hybrid Algorithm for the Examination Timetabling Problem. PATAT 2002: 207-231

Vitaly Lagoon, Peter J. Stuckey: Precise pair-sharing analysis of logic programs. PPDP 2002: 99-108

David Overton, Zoltan Somogyi, Peter J. Stuckey: Constraint-based mode analysis of mercury. PPDP 2002: 109-120

Zoltan Somogyi, Peter J. Stuckey: Using the heap to eliminate stack accesses. PPDP 2002: 121-132

Peter J. Stuckey (Ed.): Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2401, Springer 2002, isbn 3-540-43930-7

Greg J. Badros, Alan Borning, Peter J. Stuckey: The Cassowary linear arithmetic constraint solving algorithm. ACM Trans. Comput.-Hum. Interact. 8(4): 267-306 (2001)

Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning: Solving Disjunctive Constraints for Interactive Graphical Applications. CP 2001: 361-376

Vitaly Lagoon, Peter J. Stuckey: A Framework for Analysis of Typed Logic Programs. FLOPS 2001: 296-310

Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey: Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89

Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur: Building Constraint Solvers with HAL. ICLP 2001: 90-104

Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey: Higher-Precision Groundness Analysis. ICLP 2001: 135-149

Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Boolean Constraints for Binding-Time Analysis. PADO 2001: 39-62

Christian Schulte, Peter J. Stuckey: When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP 2001: 115-126

Kevin Glynn, Peter J. Stuckey, Martin Sulzmann: Effective Strictness Analysis with HORN Constraints. SAS 2001: 73-92

Kenneth A. Ross, Inga Sitzmann, Peter J. Stuckey: Cost-based Unbalanced R-Trees. SSDBM 2001: 203-212

Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: A Lagrangian reconstruction of GENET. Artif. Intell. 123(1-2): 1-39 (2000)

Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2): 187-223 (2000)

Inga Sitzmann, Peter J. Stuckey: O-Trees: A Constraint-Based Index Structure. Australasian Database Conference 2000: 127-134

Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott: Model Checking in HAL. Computational Logic 2000: 1270-1284

Inga Sitzmann, Peter J. Stuckey: Improving Temporal Joins Using Histograms. DEXA 2000: 488-498

Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey: A model for inter-module analysis and optimizing compilation. LOPSTR 2000

Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey: A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102

John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, isbn 3-540-67797-6

Kevin Glynn, Martin Sulzmann, Peter J. Stuckey: Type Classes and Constraint Handling Rules. CoRR cs.PL/0006034 (2000)

Peter J. Stuckey, Vincent Tam: Improving Evolutionary Algorithms for Efficient Constraint Satisfaction. International Journal on Artificial Intelligence Tools 8(4): 363-384 (1999)

Kim Marriott, Peter J. Stuckey: Book reviews. Intelligence 10(2): 39-47 (1999)

Michael Codish, Harald Søndergaard, Peter J. Stuckey: Sharing and groundness dependencies in logic programs. ACM Trans. Program. Lang. Syst. 21(5): 948-976 (1999)

Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey: An Overview of HAL. CP 1999: 174-188

Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey: Herbrand Constraint Solving in HAL. ICLP 1999: 260-274

Greg J. Badros, Alan Borning, Kim Marriott, Peter J. Stuckey: Constraint Cascading Style Sheets for the Web. ACM Symposium on User Interface Software and Technology 1999: 73-82

Peter J. Stuckey, Vincent Tam: Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming. Journal of Functional and Logic Programming 1998(2) (1998)

Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard: Differential Methods in Logic Program Analysis. J. Log. Program. 35(1): 1-37 (1998)

Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey: The Semantics of Constraint Logic Programs. J. Log. Program. 37(1-3): 1-46 (1998)

Kim Marriott, Harald Søndergaard, Peter J. Stuckey: A Practical Object-Oriented Analysis Engine for CLP. Softw., Pract. Exper. 28(2): 199-224 (1998)

Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Foundations of Aggregation Constraints. Theor. Comput. Sci. 193(1-2): 149-179 (1998)

Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap: Optimizing Compilation of CLP(R). ACM Trans. Program. Lang. Syst. 20(6): 1223-1250 (1998)

Peter J. Stuckey, Vincent Tam: Extending GENET with lazy arc consistency. IEEE Transactions on Systems, Man, and Cybernetics, Part A 28(5): 698-703 (1998)

Warwick Harvey, Peter J. Stuckey: Constraint Representation for Propagation. CP 1998: 235-249

Raghu Ramakrishnan, Peter J. Stuckey: Introduction to the Special Issue on Constraints and Databases. Constraints 2(3/4): 243 (1997)

Peter J. Stuckey, S. Sudarshan: Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models. J. Log. Program. 32(3): 171-205 (1997)

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997)

David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey: An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. Journal of Systems Integration 7(3/4): 191-230 (1997)

Warwick Harvey, Peter J. Stuckey, Alan Borning: Compiling Constraint Solving using Projection. CP 1997: 491-505

Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997: 93-107

Peter J. Stuckey: Constraint Search Tree. ICLP 1997: 301-315

Peter J. Stuckey, Vincent Tam: Extending EGENET with Lazy Constraint Consistency. ICTAI 1997: 248-

Alan Borning, Kim Marriott, Peter J. Stuckey, Yi Xiao: Solving Linear Arithmetic Constraints for User Interface Applications. ACM Symposium on User Interface Software and Technology 1997: 87-96

David B. Kemp, Peter J. Stuckey: Optimizing Bottom-Up Evaluation of Constraint Queries. J. Log. Program. 26(1): 1-30 (1996)

Roy Johnston, Alistair Moffat, Harald Søndergaard, Peter J. Stuckey: Low-contact learning in a first year programming course. ACSE 1996: 19-26

Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won: Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ASIAN 1996: 43-52

Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap: Effectiveness of Optimizing Compilation for CLP(R). JICSLP 1996: 37-51

Peter J. Stuckey, Vincent Tam: Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. PLILP 1996: 423-437

Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey: Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. SAS 1996: 385-386

Praveen Seshadri, Joseph M. Hellerstein, Hamid Pirahesh, T. Y. Cliff Leung, Raghu Ramakrishnan, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Cost-Based Optimization for Magic: Algebra and Implementation. SIGMOD Conference 1996: 435-446

Michael J. Maher, Peter J. Stuckey: On Inductive Inference of Cyclic Structures. Ann. Math. Artif. Intell. 15(2): 167-208 (1995)

Peter J. Stuckey: Negation and Constraint Logic Programming. Inf. Comput. 118(1): 12-33 (1995)

David B. Kemp, Divesh Srivastava, Peter J. Stuckey: Bottom-Up Evaluation and Query Optimization of Well-Founded Models. Theor. Comput. Sci. 146(1&2): 145-184 (1995)

Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap: An Optimizing Compiler for CLP(R). CP 1995: 222-239

David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey: ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. DOOD 1995: 91-108

Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap: Linear Equation Solving for Constraint Logic Programming. ICLP 1995: 33-47

Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental Analysis of Logic Programs. ICLP 1995: 797-811

Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS 1995: 417-431

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

Kim Marriott, Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. ICLP Workshop: Integration of Declarative Paradigms 1994: 23-35

Peter J. Stuckey, S. Sudarshan: Compiling Query Constraints. PODS 1994: 56-67

Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Beyond Finite Domains. PPCP 1994: 86-94

Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Foundations of Aggregation Constraints. PPCP 1994: 193-204

Kim Marriott, Peter J. Stuckey: Approximating Interaction between Linear Arithmetic Constraints. SLP 1994: 571-585

Kim Marriott, Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. LOPLAS 2(1-4): 197-212 (1993)

Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Projecting CLP (R) Constraints. New Generation Comput. 11(3): 449-469 (1993)

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

Peter J. Stuckey, S. Sudarshan: Well-Founded Ordered Search (Extended Abstract). FSTTCS 1993: 161-172

David B. Kemp, Peter J. Stuckey: Analysis Based Constraint Query Optimization. ICLP 1993: 666-682

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

Kim Marriott, Peter J. Stuckey: The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. POPL 1993: 334-344

Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap: Redundancy of Variables in CLP (R). ILPS 1993: 75-93

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. J. Autom. Reasoning 9(2): 231-260 (1992)

Kanchana Kanchanasut, Peter J. Stuckey: Transforming Normal Logic Programs to Constraint Logic Programs. Theor. Comput. Sci. 105(1): 27-56 (1992)

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: The CLP(R) Language and System. ACM Trans. Program. Lang. Syst. 14(3): 339-395 (1992)

Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Output in CLP. FGCS 1992: 987-995

David B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: An Abstract Machine for CLP(R). PLDI 1992: 128-139

Jayen Vaghani, David B. Kemp, Peter J. Stuckey: An Introduction to Aditi Deductive Database System. Australian Computer Journal 23(1): 37-52 (1991)

Peter J. Stuckey: Incremental Linear Constraint Solving and Detection of Implicit Equalities. INFORMS Journal on Computing 3(4): 269-274 (1991)

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

Peter J. Stuckey: Constructive Negation for Constraint Logic Programming. LICS 1991: 328-339

David B. Kemp, Divesh Srivastava, Peter J. Stuckey: Magic Sets and Bottom-Up Evaluation of Well-Founded Models. ISLP 1991: 337-351

David B. Kemp, Peter J. Stuckey: Semantics of Logic Programs with Aggregates. ISLP 1991: 387-401

Kanchana Kanchanasut, Peter J. Stuckey: Eliminating Negation from Normal Logic Programs. ALP 1990: 217-231

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. Workshop on Deductive Databases 1990

Pierre Lim, Peter J. Stuckey: A Constraint Logic Programming Shell. PLILP 1990: 75-88

Pierre Lim, Peter J. Stuckey: Meta Programming as Constraint Programming. NACLP 1990: 416-430

John N. Crossley, Pierre Lim, Peter J. Stuckey: Interface Logic Programming. Australian Computer Journal 21(2): 49-55 (1989)

Michael J. Maher, Peter J. Stuckey: Expanding Query Power in Constraint Logic Programming Languages. NACLP 1989: 20-36

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: On Meta-Programming in CLR(R). NACLP 1989: 52-66

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. ICLP 1987: 675-703

Joxan Jaffar, Peter J. Stuckey: Canonical Logic Programs. J. Log. Program. 3(2): 143-155 (1986)

Joxan Jaffar, Peter J. Stuckey: Semantics of Infinite Tree Logic Programming. Theor. Comput. Sci. 46(3): 141-158 (1986)

Joxan Jaffar, Peter J. Stuckey: Logic Program Semantics for Programming with Equations. ICLP 1986: 313-326