% BEGIN LICENSE BLOCK
% Version: CMPL 1.1
%
% The contents of this file are subject to the Cisco-style Mozilla Public
% License Version 1.1 (the "License"); you may not use this file except
% in compliance with the License.  You may obtain a copy of the License
% at www.eclipse-clp.org/license.
% 
% Software distributed under the License is distributed on an "AS IS"
% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied.  See
% the License for the specific language governing rights and limitations
% under the License. 
% 
% The Original Code is  The ECLiPSe Constraint Logic Programming System. 
% The Initial Developer of the Original Code is  Cisco Systems, Inc. 
% Portions created by the Initial Developer are
% Copyright (C) 2006 Cisco Systems, Inc.  All Rights Reserved.
% 
% Contributor(s): 
% 
% END LICENSE BLOCK

@TechReport(bowen81,
	Key="Bowen",
	Author="Bowen, D.L. ",
	Title="{DEC}-10 {P}rolog {U}ser's {M}anual",
	Year="1981",
	Month="December",
	Institution="University of Edinburgh",
	Type="D.A.I. occasional paper",
	Number="27")

@InProceedings(byrd80,
	Author="Byrd, L. ",
	Key="Byrd",
	Title="Understanding the {C}ontrol {F}low of {P}rolog {P}rograms",
	BookTitle="Logic {P}rogramming {W}orkshop",
	Address="Debrecen",
	Year="1980")

@InProceedings(chan88a,
	Key = "Chan",
	Author="Chan, D.", 
        Title="Constructive {N}egation based on the {C}ompleted {D}atabase",
        BookTitle="Proceedings of the 5th {C}onference and {S}ymposium on {L}ogic {P}rogramming",
        Address="Seattle", 
        Year="1988")
	@comment{Keywords= negation , completed database}

@TechReport(dincbas87c,
        Key="Dincbas",
        Author="Dincbas, M and Simonis, H. and Vanhentenryck, P.",
        Title="Solving {L}arge {C}ombinatorial {P}roblems in {L}ogic {P}rogramming",
        Institution="ECRC",
        Number="",
        Month="June",
        Year="1987")
	@comment{Keywords= }
@InProceedings(dincbas88a,
        Key="Dincbas et al.",
        Author="M. Dincbas and P. Van Hentenryck and H. Simonis and A. Aggoun and T. Graf and F. Berthier",
        Title="The Constraint Logic Programming Language {CHIP}",
        BookTitle="International Conference on FGCS 1988",
	Address="Tokyo",
	Month="November",
        Year="1988")
	@comment{Keywords= }

@TechReport(dodd87,
        Key="Dodd",
        Author="Dodd, T. ",
        Title="Built-in predicates {PS}/172",
        Institution="British Standard Committee",
        Year="87")

@TechReport(ks96,
	Author="K. Schuerman",
	Title="Getting Started Building Distibuted \eclipse Applications",
	BookTitle="Workshop Logisches Programmieren", 
        Institution="ECRC",
	Address="Fuut 19, 5508 PV Veldhoven, The Netherlands",
	Month="August", 
	Year=1996)

@InProceedings(fru91,
	Author="T. Fruehwirth",
	Title="Simplification Rules",
	BookTitle="Workshop Logisches Programmieren", 
	Address="Goosen/Berlin, Germany", 
	Month="October", 
	Year=1991)


@InProceedings{fru93a,
	Author="T. Fruehwirth",
	Title="Entailment Simplification and Constraint Constructors for User-Defined Constraints", 
	BookTitle="Workshop on Constraint Logic Programming", 
	Address="Marseille, France", 
	Month="March", 
	Year=1993}

@InProceedings{fru93b,
	Author="T. Fruehwirth and Ph. Hanschke",
	Title="Terminological Reasoning with Constraint Handling Rules",
	BookTitle="First Workshop on the Principles and Practice of Constraint Programming", 
	Address="Newport, RI, USA", 
	Month="April", 
	Year=1993}

@InProceedings{fru93c,
	Author="T. Fruehwirth",
	Title="User-Defined Constraint Handling", 
	BookTitle="Poster at the International Conference on Logic Programming 93", 
	Month="June", 
	Year="1993", 
	Address="Budapest, Hungary", 
	Editor="MIT Press"}

@InProceedings{fru93d,
Author="T. Fruehwirth",
Title="Temporal Logic and Annotated Constraint Logic Programming", 
BookTitle="IJCAI Workshop on Executable Modal and Temporal Logic", 
Address="Chambery, France", 
Month="August", 
Year=1993}

@TechReport(fru92,
 Author="T. Fruehwirth",
 Title="Constraint Simplification Rules",
 Number="ECRC-92-18",
 Institution="ECRC Munich, Germany",
 Month="July",
 Year="1992",
 note="presented at CLP workshop at ICLP 92, Washington, USA, November 1992")

@TechReport(fru93,
 Author="T. Fruehwirth",
 Title="Temporal Reasoning with Constraint Handling Rules",
 Number="Core-93-8",
 Institution="ECRC Munich, Germany",
 Month="January",
 Year="1993")

@TechReport(syntax87,
        Key="Moss",
        Author="Moss, C. and Others",
        Title="Prolog {S}yntax",
        Institution="British Standards Institution",
        Number="PS/154",
        Month="February",
        Year="1987")
	@comment{Keywords= }

@TechReport(Scowen4,
        Key="Scowen, R. et al. June",
        Author="Scowen, R.S. and Others",
        Title="{PROLOG} {B}uilt-in predicates: {D}raft 4",
        Institution="British Standards Institution",
        Number="PS/201",
        Month="June",
        Year="1987")
        @comment{Keywords= }

@TechReport(Scowen4.1,
        Key="Scowen, R. et al. November",
        Author="R.S. Scowen et al",
        Title="{PROLOG} {B}uilt-in predicates: {D}raft 4.1",
        Institution="British Standards Institution",
        Number="PS/230",
        Month="November",
        Year="1987")
        @comment{Keywords= }

@TechReport(chikayama84,
        Key="Chikayama",
        Author="Chikayama, T.",
        Title="{ESP} {R}eference {M}anual",
        Institution="ICOT",
        Number="TR-044",
        Month="February",
        Year="1984")
        @comment{Keywords= }

@InCollection(clark82,
        Key="Clark et al.",
        Author="Clark, K.L. and  McCabe, F.G. and Gregory, S. ",
        Title="{IC}-{P}rolog {L}anguage {F}eatures",
        Pages="253-266",
        Publisher="Academic Press, London",
        Address="Departmemt of Computing, Imperial College, London",
        BookTitle="Logic {P}rogramming, ed. {C}lark and {T}arnlund",
        Year="1982")
        @comment{Keywords="IC-Prolog"}

@TechReport(colmerauer82,
        Key="Colmerauer",
        Author="Colmerauer, A.",
        Title="{PROLOG} {II} {M}anuel de {R}eference et {M}odele {T}heorique",
        Institution="Groupe Intelligence Artificielle, Faculte des Sciences de Luminy",
        Number="ERA CNRS 363",
        Month="March",
        Year="1982")
        @comment{Keywords= diff, freeze, coroutining}
@InProceedings(dincbas84,
        Key="Dincbas, M. and Le Pape, J.P.",
        Author="Mehmet Dincbas and Jean-Pierre Le Pape",
        Title="Metacontrol of {L}ogic {P}rograms in {METALOG}",
        BookTitle="Proceedings of the {I}nternational {C}onference on {F}ifth {G}eneration {C}omputer {S}ystems 1984",
        Editor="ICOT",
        Pages="361-370",
        Year="1984")
        @comment{Keywords= control, metalevel}

@InProceedings(kimura87,
        Key="Kimura, Y. and Chikayama, T.",
        Author="Kimura, Y.  and Chikayama, T.",
        Title="An {A}bstract {KL}1 {M}achine and its {I}nstruction {S}et",
        BookTitle="Proceedings 1987 {S}ymposium on {L}ogic {P}rogramming",
        Address="San Francisco",
        Pages="468-477",
        Month="September",
        Year="1987")
        @comment{Keywords= KL0, ESP, GHC, FGCS, PSI}
@TechReport (naish82,
        Key="Naish, L.",
        Author="Naish, L.",
        Title="An {I}ntroduction to {MU-PROLOG}",
        Year="1982",
        Institution="University of Melbourne",
        Number="82/2")
        @comment{Keywords="muprolog,wait,control"}
@InProceedings(naish86,
        Key="Naish",
        Author="Naish, L.",
        Title="Negation and {Q}uantifiers in {NU}-{P}rolog",
        BookTitle="Third {I}nternational {C}onference on {L}ogic {P}rogramming",
        Address="London",
        Pages="624-634",
        Month="July",
        Year="1986")
        @comment{Keywords= WAM, coroutining, when declarations}

@TechReport(shapiro83,
        Key="Shapiro",
        Author="Shapiro, E.",
        Title="A {S}ubset of {C}oncurrent {P}rolog and its {I}nterpreter",
        Institution="ICOT, Tokyo, Japan",
        Number="TR-003",
        Month="January",
        Year="1983")
        @comment{Keywords= }

@TechReport (warren83,
        Key="Warren",
        Author="Warren, D.",
        Title="An {A}bstract {P}rolog {I}nstruction {S}et",
        Year="1983",
        Month="October",
        Institution="SRI",
        Type="Technical Note",
        Number="309")
        @comment{,
        Keywords="prolog, compiler,implementation, WAM"}

@TechReport(macartney,
        Key="Macartney",
        Author="Macartney, G.",
        Title="An {I}ntroduction to {SEPIA}",
        Institution="ECRC",
        Number="TR-LP-29",
        Month="February",
        Year="1988")
        @comment{Keywords= }

@Book(clocksin81,
        Key="Clocksin and Mellish",
        Author="Clocksin, W.F. and Mellish, C.S.",
        Title="Programming in {P}rolog",
        Publisher="Springer-Verlag",
        Year="1981")
        @comment{Keywords= standards}

@TechReport(objects,
	Key="Enders",
	Author="Enders, R.",
	Title="An {I}ntroduction to {SEPIA} {O}bjects",
	Year="1988",
	Month="July",
	Institution="ECRC",
	Type=" ",
	Number="IR-LP-13 12")


@TechReport(itcincident,
	Key="ITC",
	Author="Sheehan, J.",
	Title="{I}ncident {R}eporting and {C}losure {P}rocedure",
	Year="1989",
	Month="June",
	Institution="---",
	Type="---",
	Number="QUA/PR/010")



@TechReport(sepiafrs,
	Key="CHIP/SEPIA",
	Author="Project Team (ITC)",
	Title="{SEPIA} {F}unctional {R}equirements {S}pecification",
	Year="1989",
	Month="February",
	Institution="---",
	Type="---",
	Number="SEP/SS/002")


@TechReport(sepiauser20,
	Key="SEPIA",
	Author="Sepia Team (ITC)",
	Title="{SEPIA} {P}rolog {U}ser {M}anual {V}ersion 2.00",
	Year="19 September 1988",
	Month="March",
	Institution="ECRC",
	Type="---",
	Number="TR-LP-38")

@TechReport(sepiauser,
	Key="SEPIA",
	Author="Sepia Team (ITC)",
	Title="{SEPIA} {U}ser {M}anual",
	Year="1990",
	Month="February",
	Institution="ECRC",
	Type="--- ",
	Number="SEP/UM/022")

@TechReport(megaloguser,
	Key="MEGALOG",
	Author="Michael Dahmen",
	Title="Megalog User Manual",
	Year="1992",
	Institution="ECRC",
	Type="--- ")

@TechReport(sepiaval,
	Key="CHIP/SEPIA",
	Author="Falvey (ITC), E.",
	Title="{SEPIA} 2.10 {V}alidation {S}pecification",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/VS/012")




@TechReport(chipfrs,
	Key="CHIP/SEPIA",
	Author="Project Team (ITC)",
	Title="{CHIP} {F}unctional {R}equirements {S}pecification",
	Year="1989",
	Month="February",
	Institution="ITC",
	Type="---",
	Number="SEP/SS/003")

@TechReport(chipref,
	Key="CHIP",
	Author="Project Team (ITC)",
	Title="{CHIP} {C}ompiler {R}eference {M}anual",
	Year="1990",
	Month="February",
	Institution="ECRC",
	Type="--- ",
	Number="SEP/UM/023")

@TechReport(chipsolve,
	Key="CHIP",
	Author="O'Sullivan (ITC), A. ",
	Title="Introduction to {CHIP} Programming",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/UM/029")

@TechReport(chipdemo,
	Key="CHIP",
	Author="Project Team (ITC)",
	Title="Guide to the {CHIP} {D}emos",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/UM/028")

@TechReport(chipval,
	Key="CHIP/SEPIA",
	Author="O'Sullivan (ITC), A. ",
	Title="{CHIP} {V}alidation {S}pecification",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/VS/013")

@TechReport(seducefrs,
	Key="SEDUCE",
	Author="Kelly (ITC), M. ",
	Title="{SEDUCE} {F}unctional {R}equirements {S}pecification",
	Year="1989",
	Month="February",
	Institution="ITC",
	Type="--- ",
	Number="SEP/SS/005")

@TechReport(seducedes,
	Key="SEDUCE",
	Author="Kelly (ITC), M. ",
	Title="{SEDUCE} {D}esign {S}pecification",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/DS/035")

@TechReport(optimator,
	Key="SEDUCE",
	Author="Tomasic, A.",
	Title="The {MVV} {A}pplication ",
	Year="1989",
	Month="April",
	Institution="ECRC",
	Type="--- ",
	Number="IR-KB-69 ")

@TechReport(educeeval,
	Key="SEDUCE",
	Author="Bocca, J.B.",
	Title="{O}n {T}he {E}valuation {S}trategy of {E}duce",
	Year="1986",
	Month="May",
	Institution="ECRC",
	Type="--- ",
	Number="Proc. 1986 ACM-SIGMOD")

@TechReport(educemarriage,
	Key="SEDUCE",
	Author="Bocca, J.B.",
	Title="{E}duce- {A} {M}arriage of {C}onvenience",
	Year="1985",
	Month="Sept",
	Institution="ECRC",
	Type="--- ",
	Number="IR-KB-09")

@TechReport(educeded,
	Key="SEDUCE",
	Author="Nicolas, J.M. and Yasdanian, K.",
	Title="{A}n {O}utline of {BDGEN:} {A} {D}eductive {DBMS}.",
	Year="1983",
	Month="",
	Institution="Elsevier Science Publishers",
	Type="---",
	Number="p711--717")

@TechReport(educeext,
	Key="SEDUCE",
	Author="Boas, H. and  Boas, P. and Doedens, C.",
	Title="{E}xtending a {R}elational {D}atabase with {L}ogic {P}rogramming {F}acilities",
	Year="1984",
	Month="",
	Institution="IBM INS Development Center, Holland",
	Type="Technical Report",
	Number="")

@TechReport(ingresmanual,
	Key="SEDUCE",
	Author="RTI",
	Title="{INGRES} {R}elease 5.0 for the {UNIX} {O}perating {S}ystem.",
	Year="1986",
	Month="",
	Institution="Relational Technology Inc.",
	Type="---",
	Number="")

@TechReport(seduceuser,
	Key="SEDUCE",
	Author="Kelly (ITC), M. ",
	Title="{SEDUCE} {U}ser {M}anual",
	Year="1990",
	Month="February",
	Institution="ITC",
	Type="--- ",
	Number="SEP/UM/025")

@TechReport(seduceval,
	Key="SEDUCE",
	Author="Kelly (ITC), M. ",
	Title="{SEDUCE} {V}alidation {S}pecification",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/VS/015")


@TechReport(kegiplan,
	Key="CHIP/SEPIA",
	Author="Kay (ECRC), P.",
	Title="{KEGI} {D}evelopment {P}lan --- version 2",
	Year="1989",
	Month="June",
	Institution="ECRC",
	Type="--- ",
	Number="")

@TechReport(kegifrs,
	Key="CHIP/SEPIA",
	Author="Grant (ITC), H. A. ",
	Title="{KEGI} {F}unctional {R}equirements {S}pecification",
	Year="1989",
	Month="February",
	Institution="ITC",
	Type="--- ",
	Number="SEP/SS/004")

@TechReport(kegiuser,
	Key="KEGI",
	Author="Grant (ITC), H. A.  and Cunningham (ITC), A. and Kay (ECRC), P. ",
	Title="{KEGI} {U}ser {M}anual",
	Year="1990",
	Month="February",
	Institution="ITC",
	Type="--- ",
	Number="SEP/UM/024")


@TechReport(kegival,
	Key="CHIP/SEPIA",
	Author="Grant (ITC), H. A. ",
	Title="{KEGI} {V}alidation {S}pecification",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/VS/014")

@TechReport(overfrs,
	Key="CHIP/SEPIA",
	Author="Miller (ITC), J. D. ",
	Title="{CHIP}/{SEPIA} {F}unctional {R}equirements {S}pecification {O}verview",
	Year="1989",
	Month="February",
	Institution="ITC",
	Type="--- ",
	Number="SEP/SS/001")


@TechReport(sepplan,
	Key="CHIP/SEPIA",
	Author="Miller (ITC), J. D.",
	Title="{CHIP}/{SEPIA} {P}roject {P}lan",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/PP/006")


@TechReport(sepplan2,
	Key="CHIP/SEPIA",
	Author="Miller (ITC), J. D.",
	Title="{CHIP}/{SEPIA} {R}evised {P}roject {P}lan",
	Year="1989",
	Month="July",
	Institution="ITC",
	Type="--- ",
	Number="SEP/PP/016")

@TechReport(valplan,
	Key="CHIP/SEPIA",
	Title="{CHIP}/{SEPIA} {V}alidation {P}lan",
	Author="ITC, Project Team ",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/VP/011")

@TechReport(changeprocedures,
	Key="CHIP/SEPIA",
	Title="{CHIP}/{SEPIA} {C}hange {C}ontrol {P}rocedures",
	Author="Miller (ITC), J. D. ",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/PR/007")

@TechReport(supportplan,
	Key="CHIP/SEPIA",
	Title="{CHIP}/{SEPIA} {S}upport {P}lan",
	Author="Miller (ITC), J. D. ",
	Year="1989",
	Month="December",
	Institution="ITC",
	Type="--- ",
	Number="SEP/PP/008")

@TechReport(releasenotes,
	Key="CHIP/SEPIA",
	Title="{CHIP}/{SEPIA} {R}elease {P}rocedures",
	Author="Miller (ITC), J. D. ",
	Year="1989",
	Month="April",
	Institution="ITC",
	Type="--- ",
	Number="SEP/PR/009")

@TechReport(instest,
	Key="CHIP/SEPIA",
	Title="{CHIP}/{SEPIA} {I}nstallation {N}otes",
	Author="Miller (ITC), J. D. ",
	Year="1989",
	Month="December",
	Institution="ITC",
	Type="--- ",
	Number="SEP/UM/030")

@TechReport(installnotes,
	Key="CHIP/SEPIA",
	Title="{CHIP}/{SEPIA} {I}nstallation {N}otes",
	Author="Grant (ITC), H. A. and Miller (ITC), J. D.",
	Year="1989",
	Month="December",
	Institution="ITC",
	Type="--- ",
	Number="SEP/UM/010")

@TechReport(buildnotes,
	Key="CHIP/SEPIA",
	Title="Building {CHIP}/{SEPIA}",
	Author="Grant (ITC), H. A. and Miller (ITC), J. D. ",
	Year="1989",
	Month="June",
	Institution="ITC",
	Type="--- ",
	Number="SEP/UM/042")


@TechReport(xwip,
	Key="XWIP",
	Title="{X}wip Reference Manual",
	Author="Kim, T.",
	Year="1989",
	Month="April",
	Institution="",
	Type="--- ",
	Number="")

@TechReport(docupdates200,
	Key="CHIP/SEPIA",
	Title="{CHIP/SEPIA} 2.0 {D}ocumentation {U}pdates",
	Author="Miller (ITC), J. D. ",
	Year="1990",
	Month="December",
	Institution="ITC",
	Type="--- ",
	Number="SEP/RP/038")


@TechReport(bipbook,
	Key="CHIP/SEPIA",
	Author="Project Team ",
	Title="{CHIP}/{SEPIA} {B}uilt-{I}n {R}eference {M}anual ({BIP BOOK})",
	Year="1990",
	Month="February",
	Institution="ITC",
	Type="--- ",
	Number="SEP/UM/026")


@TechReport(sepiabipbook,
	Key="CHIP/SEPIA",
	Author="Project Team ",
	Title="{SEPIA} {B}uilt-{I}n {R}eference {M}anual ({BIP BOOK})",
	Year="1989",
	Month="December",
	Institution="ITC",
	Type="--- ",
	Number="SEP/UM/027")

@TechReport(chipover,
	Key="CHIP/SEPIA",
	Author="Miller J. D.",
	Title="{A}n {O}verview of {CHIP/SEPIA}",
	Year="1989",
	Month="July",
	Institution="ITC",
	Type="--- ",
	Number="SEP/TR/044")

@TechReport(ISO,
        Key="Deransart et al.",
        Author="P.Deransart and P.Folkjaer and J-F.Pique and R.S.Scowen",
        Title="{PROLOG} {D}raft for {W}orking {D}raft 1.0",
        Institution="International Organization for Standardization",
        Number="N28",
        Month="February",
        Year="1989")
	@comment{Keywords= }
@InProceedings(benker89,
        Key="Benker et al.",
        Author="Benker, H. and Beacco, J. and Bescos, S. and Dorochevsky, M. and Jeffre, Th. and Pohlmann, A. and Noye, J. and Poterie, B. and Sexton, A. and Syre, J. and Thibault, O. and Watzlawik, G.",
        Title="{KCM}: {A} {K}nowledge {C}runching {M}achine",
        BookTitle="Proceedings of the {I}nternational {S}ymposium on {C}omputer {A}rchitecture",
	Address="Jerusalem",
	Month="May",
        Year="1989")
	@comment{Keywords= }


@Manual(pceuser,
	Key="PCE",
	Author="Anjo Anjewierden",
	Title="{PCE}-{P}rolog {R}eference {M}anual",
	Year="1986",
	Month="October",
	Institution="University of Amsterdam")

@Manual(pceref,
	Key="PCE",
	Author="Anjo Anjewierden",
	Title="{PCE}-{P}rolog {R}eference {M}anual",
	Year="1986",
	Month="October",
	Institution="University of Amsterdam")

@Manual(pceclass,
	Key="PCE",
	Author="STL",
	Title="{PCE}-{C}lass {R}eference {M}anual",
	Year="1986",
	Month="October",
	Institution="University of Amsterdam")

@Manual(pceclass2,
	Key="PCE",
	Author="Sepia Team (ITC)",
	Title="{PCE}-{C}lass {R}eference {M}anual",
	Year="1989",
	Month="June",
	Institution="ITC",
	Type="--- ",
	Number="SEP/RP/053")

@Manual(protectnotes,
	Key="CHIP/SEPIA",
	Author="Miller, D",
	Title="{CHIP/SEPIA} {P}rotection {M}echanisms",
	Year="1989",
	Month="December",
	Institution="ITC",
	Type="--- ",
	Number="SEP/RP/039")


@Manual(pcereview,
	Key="PCE",
	Author="Cunningham, A.",
	Title="{PCE}-{R}eview",
	Year="1989",
	Month="December",
	Institution="ITC",
	Type="--- ",
	Number="SEP/RP/053")

@Manual(cgiman,
	Key="CGI",
	Title="Sun{CGI} {R}eference {M}anual",
	Year="1988",
	Month="May",
	Institution="Sun Microsystems",
	Number="800-1786-10")

@Manual(unixman,
	KEY="UNIX",
	Title="The {UNIX} {P}rogrammer's {M}anual")

@Manual(sunviewref,
	KEY="SUNVIEW",
	Title="{S}unview {P}rogrammer's {G}uide",
	Year="1988",
	Month="May",
	Institution="Sun Microsystems",
	Number="800-1783-10")



@TechReport(sepcustom,
	Key="Meier et al.",
	Author="Micha Meier and Joachim Schimpf and Emmanual van Rossum",
	Title="A Guide to {SEPIA} Customization and Advanced Programming",
	Year="1990",
	Month="June",
	Institution="ECRC",
	Type="Technical Report",
	Number="TR-LP-50")

@TechReport(ecn9404,
	Key="Schuerman",
	Author="Kees Schuerman",
	Title="Message Passing Requirements of Parallel {ECLiPSe}",
	Year="1994",
	Month="November",
	Institution="ECRC",
	Type="Internal Note",
	Number="94-04")

@TechReport(amsgref,
	Key="Schuerman",
	Author="Kees Schuerman",
	Title="{AMSG} Programmer's Reference Manual - Version 0.1",
	Year="1995",
	Month="October",
	Institution="ECRC",
	Type="Technical Report",
	Number="ECRC-95-3i")

@TechReport(bmsgref,
	Key="Schuerman",
	Author="Kees Schuerman",
	Title="{BMSG} Programmer's Reference Manual - Version 0.1",
	Year="1995",
	Month="October",
	Institution="ECRC",
	Type="Technical Report",
	Number="ECRC-95-2i")

@TechReport(nsrvref,
	Key="Schuerman",
	Author="Kees Schuerman",
	Title="{NSRV} Programmer's Reference Manual - Version 0.1",
	Year="1995",
	Month="October",
	Institution="ECRC",
	Type="Technical Report",
	Number="ECRC-95-5i")

@InProceedings(sepex,
        Key="Meier et al.",
        Author="Micha Meier and Abderrahmane Aggoun and David Chan and Pierre Dufresne and Reinhard Enders and Dominique Henry de Villeneuve and Alexander Herold and Philip Kay and Bruno Perez and Emmanuel van Rossum and Joachim Schimpf",
        Title="{SEPIA} - An Extendible {P}rolog System",
        BookTitle="Proceedings of the 11th World Computer Congress IFIP'89",
	Address="San Francisco",
	Month="August",
	Pages="1127-1132",
        Year="1989")
	@comment{Keywords= }
@InProceedings(eventh,
        Key="Meier",
        Author="Micha Meier",
        Title="Event Handling in {P}rolog",
        BookTitle="Proceedings of the North American Conference on Logic Programming",
	Address="Cleveland",
	Pages="",
	Month="October",
        Year="1989")
	@comment{Keywords= }
@InProceedings(environ,
        Key="Meier",
        Author="Micha Meier and Philip Kay and Emmanual van Rossum and Hugh Grant",
        Title="SEPIA Programming Environment",
        BookTitle="Proceedings of the NACLP'89 Workshop on Logic Programming Environments: The Next Generation",
	Address="Cleveland",
	Pages="82-86",
	Month="October",
        Year="1989")
	@comment{Keywords= }
@InProceedings(compnd,
        Key="Meier",
        Author="Micha Meier",
        Title="Compilation of Compound Terms in {P}rolog",
        BookTitle="Proceedings of the NACLP'90",
	Address="Austin",
	Pages="",
	Month="October",
        Year="1990")
	@comment{Keywords= }
@InProceedings(arch,
        Key="Meier and Schimpf",
        Author="Micha Meier and Joachim Schimpf",
        Title="An Architecture for Prolog Extensions",
        BookTitle="Proceedings of the 3rd International Workshop on Extensions of Logic Programming",
	Address="Bologna",
	Pages="319-338",
        Year="1992")
	@comment{Keywords= }
@InProceedings(eclipse:iclp94,
        Key="Mudambi and Schimpf",
        Author="Shyam Mudambi and Joachim Schimpf",
        Title="Parallel {CLP} on Heterogeneous Networks",
        BookTitle="Proceedings of ICLP'94, International Conference on Logic Programming",
	Address="Santa Margherita",
        Year="1994")
	@comment{Keywords= }
@InProceedings(LeProvost92,
        Author		="{Le Provost}, T. and Wallace, M.G.",
        Title		="Domain-Independent Propagation
                          (or {Generalised Propagation})",
	BookTitle	="Proceedings of the International Conference
                          on {Fifth Generation Computer Systems} ({FGCS'92})",
	Pages		="1004-1011",
	Month		="June",
	Year		=1992)

@TechReport(LeProvost92a,
	Author		="{Le Provost}, T.",
	Title		="{Approximate Generalised Propagation}",
	Type		="ESPRIT Project Deliverable",
	Number		="CORE-93-7, also as CHIC-WP5-D.5.2.3.3",
	Institution	="ECRC GmbH",
	Month		="January",
	Year		=1993)

@Article(LeProvost93b,
	Author		="{Le Provost}, T. and Wallace, M.G.",
	Title		="Generalized Constraint Propagation over the {CLP Scheme}",
	Journal		="Journal of Logic Programming",
	Note		="Special Issue on {Constraint Logic Programming}",
	Volume		=16,
	Number		="3-4",
	Pages		="319-359",
	Month		="July",
	Year		=1993)
@InProceedings(meier92,
	Key="Meier and Schimpf",
	Author="Micha Meier and Joachim Schimpf",
	Title="An Architecture for Prolog Extensions",
	BookTitle="Proceedings of the 3rd International Workshop on Extensions of Logic Programming",
	Address="Bologna",
	Pages="319-338",
	Year="1992")
	@comment{Keywords= }

@InProceedings(Lim&Schimpf93,
	Key="Lim and Schimpf",
	Author="Pierre Lim and Joachim Schimpf",
	Title="A Conservative Approach to Meta-Programming in Constraint Logic Programming",
	BookTitle="Proceedings of the Fifth International Symposium on Programming Language Implementation and Logic Programming",
	Address="Tallinn",
	Month="August",
        Pages="44--59",
	Year="1993")
@InProceedings(meier89,
	Key="Meier et al.",
	Author="Micha Meier and Abderrahmane Aggoun and David Chan and Pierre Dufresne and Reinhard Enders and Dominique Henry de Villeneuve and Alexander Herold and Philip Kay and Bruno Perez and Emmanuel van Rossum and Joachim Schimpf",
	Title="{SEPIA} - An Extendible {P}rolog System",
	BookTitle="Proceedings of the 11th World Computer Congress IFIP'89",
	Address="San Francisco",
	Month="August",
	Pages="1127-1132",
	Year="1989")
	@comment{Keywords= }

@Manual(eclipseext,
	Key="EclipseExt",
        Title="ECLiPSe 3.4 Extensions User Manual",
        Publisher="ECRC",
        Year="1994")
	@comment{TechRep ECRC-94-9}


@INPROCEEDINGS{BOC90,
        AUTHOR = "Bocca, J.",
        TITLE = "{MegaLog --  A Platform for Developing Knowledge Base Management Systems}",
        BOOKTITLE = "Proc. Second Int. Symposium on Database Systems for Advanced Applications (DASFAA '91), Tokyo",
        YEAR = "1991", MONTH = "April" }

@TECHREPORT{BDH90,
	AUTHOR = "Bocca, J. and Dahmen, M. and Horsfield, T.",
	TITLE = "{MegaLog User Guide}",
	INSTITUTION = "ECRC",
	YEAR = "1990"}

@TECHREPORT{BIP92,
	AUTHOR = "Dahmen, M.",
	TITLE = "{Knowledge Base BIP Book}",
	INSTITUTION = "ECRC",
	YEAR = "1992"}

@TECHREPORT{SP91,
	AUTHOR = "Sepia Team",
	TITLE = "{Sepia User Manual}",
	INSTITUTION = "ECRC",
	YEAR = "1991"}

@TECHREPORT{EKS91,
	AUTHOR = "Vieille, L. and Bayer, P. and K{\"u}chenhoff, V. and
Lefebvre, A. and Manthey, R.",
	TITLE = "{EKS-V1: A User Guide}",
	INSTITUTION = "ECRC",
	NUMBER = "TR-KB-33",
	YEAR = "1991"}


@TechReport{RepairReport97,
		  title = "Repair through Conflict Detection in {ECLiPSe}",
		  author =  "H. {El Sakkout} and S. Novello",
		  institution = "{IC-Parc}",
		  month ="June",
		  year ="1997" }
		  
@PhdThesis{HaniThesis,
		  title = "Improving Backtrack Search: Three Case Studies of Localized Dynamic Hybridization",
		  author =  "Hani {El Sakkout}",
		  school = "Imperial College",
		  address = "London",
		  month ="June",
		  year ="1999" }
		  
@Book{Tcl94,
                  title = "{Tcl and the Tk Toolkit}",
                  author = "John K. Ousterhout",
                  publisher = "Addison-Wesley",
                  year =  1994 }

@Manual{interfaceManual,
                  title = "{ECLiPSe Embedding and Interfacing Manual}",
                  author = "Stefano Novello and Joachim Schimpf",
                  publisher = "IC-Parc",
                  year = 1999   }

@book{VanHentenryck,
author = "Pascal {Van Hentenryck}",
title = "Constraint Satisfaction in Logic Programming",
year = 1989,
publisher = "MIT Press",
address = "Cambridge, MA",
series = "Logic Programming Series",
isbn = "0-262-08181-4",
}

@article{ beldiceanu,
    author = "N. Beldiceanu and E. Contjean",
    title = "Introducing global constraints in {CHIP}",
    journal = "Mathematical and Computer Modelling",
    volume = "12",
    pages = "97--123",
    year = "1994",
    note  = {\verb0citeseer.nj.nec.com/beldiceanu94introducing.html0}
}

@InProceedings{beldiceanu:credit,
    author = "N. Beldiceanu and E. Bourreau and P. Chan and D. Rivreau",
    title = "Partial Search Strategy in {CHIP}",
    BookTitle="2nd International Conference on Metaheuristics - MIC 97",
    Address="Sophia Antipolis, France",
    Month="July",
    Year="1997"
}

@article{lepape,
    title={Resource Constraints for Preemptive Job-shop Scheduling},
    author={C. {Le Pape} and P. Baptiste},
    journal={Constraints},
    volume=3,
    number=4,
    pages={263-287},
    year=1998}

@article{gervet,
    title={Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language},
    author={C. Gervet},
    journal={Constraints},
    volume=1,
    number=3,
    year=1997,
    pages={191-244}}

@article{VanHentenryck:95,
title="Solving Polynomial Systems Using a Branch and Prune Approach",
author="{Van Hentenryck}, P. and McAllester, D. and Kapur, D.",
journal="{SIAM} Journal on Numerical Analysis",
year=1995}


@inproceedings{ lhomme96boosting,
    author = "Olivier Lhomme and Arnaud Gotlieb and Michel Rueher and Patrick Taillibert",
    title = "Boosting the Interval Narrowing Algorithm",
    booktitle = "Joint International Conference and Symposium on Logic Programming",
    pages = "378-392",
    year = "1996"}

@article{Fruehwirth,
    title={Theory and Practice of Constraint Handling Rules},
    author={T. Fr{\"{u}}hwirth},
    journal={Logic Programming},
    volume=37,
    number={1-3},
    pages={95-138},
    year=1988}

@article{cp99wkshoptalk,
  author =       "M.G. Wallace and J. Schimpf",
  title =        "Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem",
  pages =        "259--270",
  journal =      "Annals of Mathematics and Artificial Intelligence",
  Volume =       34,
  Number =       4,
  Year =         2002
}

@article{ Bockmayr,
    author = "A. Bockmayr and T. Kasper",
    title = "Branch and infer: A unifying framework for integer 
             and finite domain constraint programming",
    journal={{INFORMS} Journal on Computing},
    volume=10,
    number=3,
    pages={287-300},
    year=1998}

@unpublished{ILOG,
    title={{CPLEX}},
    author={{ILOG}},
    year=2001,
    note ={{\verb9www.ilog.com/products/cplex/9}}}

@unpublished{Dash,
    title={{XPRESS-MP}},
    author={Dash Optimization},
    year=2001,
    note ={{\verb9www.dash.co.uk/9}}}

@techreport{Holzbauer,
   author = {Holzbauer, C.},
   address = {Vienna},
   edition = {TR-95-09},
   institution = {Austrian Research Institute for AI},
   key = {Holzbauer},
   number = {TR-95-09},
   organization = {Austrian Research Institute for AI},
   title = {{OFAI clp(q,r) Manual}},
   year = {1995}
}

@unpublished{Ajili,
    title={{LP} Probing for Piecewise Linear Optimization in Scheduling},
    author={F. Ajili and H. {El Sakkout}},
    crossref={CPAIOR01},
    year=2001}

@unpublished{CPAIOR01,
    title={Third International Workshop on Integration of {AI} and {OR} Techniques in Cons
traint Programming for Combinatorial Optimization Problems},
    author={C. Gervet and M.G. Wallace},
    note ={Programme and papers presented at {CPAIOR'01}:
           {\verb9www.icparc.ic.ac.uk/cpAIOR01/9}},
    year=2001}

@Article{RWH99,
    author=  "R. Rodosek and M. G. Wallace and M. T. Hajian",
    title =  "A new approach to integrating mixed integer programming 
              and constraint logic programming",
    journal = "Annals of Operations Research",
    pages = "63-87",
    year = 1999,
    volume = 86,
    note = "Special issue on Advances in Combinatorial Optimization"}

@inproceedings{rodosekcp,
        title={A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems},
        author={Rodosek, R. and Wallace, M.G.},
        booktitle={Proceedings of the 4th International Conference on Principles and Pract
ice of Constaint Programming},
        pages={385-399},
        address={Pisa},
        year=1998}


@article{ HaniProbe,
    author = "H. H. {El Sakkout} and M. G. Wallace",
    title = "Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling",
    journal = "Constraints",
    volume = "5",
    number = "4",
    pages = "359-388",
    year = "2000"
}

@inbook{BeringerdeBacker,
    title={Combinatorial Problem Solving in Constraint Logic Programming with
    Cooperating Solvers},
    author={H. Beringer and B.  {de Backer}},
    booktitle={Logic Programming: Formal Methods and Practical Applications},
    publisher={Elsevier},
    pages={245-272},
    year=1995}

@article{Bockmayr98,
    title={Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint
 Programming},
    author={Bockmayr, A. and Kasper, T.},
    journal={{INFORMS} Journal on Computing},
    volume=10,
    number=3,
    pages={287-300},
    year=1998}

@inproceedings{Refalo99,
    title={Tight Cooperation and Its Application in Piecewise Linear Optimization},
    author={Refalo, P.},
    booktitle={{CP'99}},
    publisher={Springer},
    series={{LNCS}},
    volume=1713,
    pages={375-389},
    year=1999}

@inproceedings{Milano99,
    title={Cost-Based Domain Filtering },
    author={F. Focacci and A.  Lodi and M. Milano},
    booktitle={{CP'99}},
    publisher={Springer},
    series={{LNCS}},
    volume=1713,
    pages={189-203},
    year=1999}

@Article{Localizer,
  author =       "L. Michel and P. {Van Hentenryck}",
  title =        "Localizer: {A} Modeling Language for Local Search",
  journal =      "Lecture Notes in Computer Science",
  volume =       "1330",
  year =         "1997",
  coden =        "LNCSD9",
  ISSN =         "0302-9743",
  bibdate =      "Tue Apr 28 08:51:33 MDT 1998",
  acknowledgement = ack-nhfb,
}

@article{jobshoptabu,
    title={A Fast Taboo Search Algorithm for the Job Shop problem},
    author={Nowicki, E. and Smutnicki, C.},
    journal={Management Science},
    volume=42,
    number=6, 
    month={June},
    year=1996,
    pages={797-813}}

@TechReport(metaterms95,
	Author = "Micha Meier and Pascal Brisset",
	Title = "Open Architecture for {CLP}",
	Year="1995",
	Institution="ECRC",
	Type="Technical Report",
	Number="ECRC-95-10")

@TechReport(gcint90,
	Author="Joachim Schimpf",
	Title = "The {SEPIA} Garbage Collector",
	Year="1990",
	Institution="ECRC",
	Type="Internal Report",
	Number="IR-LP-26")


@InProceedings(gc90,
	Author="Joachim Schimpf",
	Title = "Garbage Collection for {P}rolog based on Twin Cells",
	BookTitle="Proceedings of the NACLP'90 Workshop on LP Architectures",
	Address="Austin, Texas",
	Month="October",
	Year="1990",
	url = "http://citeseer.nj.nec.com/schimpf90garbage.html",
	url = "http://www.icparc.ic.ac.uk/eclipse/reports/gc_naclp90.ps.gz" )

@inproceedings{ harvey95:lds:inp,
        author={William D. Harvey, Matthew L. Ginsberg},
        title={Limited Discrepancy Search},
        booktitle={Proceedings of the Fourteenth International Joint Conference on Artificial
                Intelligence (IJCAI-95); Vol. 1},
        year={1995},
        month={August 20-25 },
        publisher={Morgan Kaufmann, 1995},
        address={Montr{\'e}al, Qu{\'e}bec, Canada},
        editor={Chris S. Mellish},
        pages={607-615},
        url={citeseer.nj.nec.com/harvey95limited.html},
        url={ftp://ftp.cirl.uoregon.edu/pub/users/ginsberg/papers/lds.ps.gz} }

@inproceedings{ loops02,
        author={Joachim Schimpf},
        title={Logical Loops},
        booktitle={Proceedings of the 18th International Conference on Logic Programming},
        year={2002},
        month={July/August},
        publisher={Springer},
        editor={Peter. J. Stuckey},
        pages={224-238},
        url={http://www.icparc.ic.ac.uk/eclipse/reports/loops.ps} }

@article{ vanhentenryck92generic,
    author = "Pascal Van Hentenryck and Yves Deville and Choh-Man Teng",
    title = "A Generic Arc-Consistency Algorithm and its Specializations",
    journal = "Artificial Intelligence",
    volume = "57",
    number = "2-3",
    pages = "291-321",
    year = "1992",
    url = "citeseer.nj.nec.com/vanhentenryck92generic.html" }

@article{ mackworth77,
    author = "Alan K. Mackworth",
    title = "Consistency in networks of relations",
    journal = "Artificial Intelligence",
    volume = "8",
    pages = "99-118",
    year = "1977"}

@book{Williams99,
    author = "H.P. Williams",
    title = "Model Building in Mathematical Programming",
    year = 1999,
    publisher = "Wiley",
    series = "Management Science",
    isbn = "0-471-99788-9",
    edition = "4th"
}

@book{Bratko86,
    author = "Ivan Bratko",
    title = "{P}rolog Programming for Artificial Intelligence",
    year = 1986,
    publisher = "Addison-Wesley",
    series = "International Computer Science",
    isbn = "0-201-14224-4"
}

@book{MarriottStuckey,
    author = "Kim Marriott and Peter J. Stuckey",
    title = "Programming with Constraints",
    year = 1998,
    publisher = "MIT Press",
    isbn = "0-262-13341-5"
}

@book{Tsang93,
    author = "Edward Tsang",
    title = "Foundations of Constraint Satisfaction",
    year = 1993,
    publisher = "Academic Press",
    isbn = "0-12-701610-4"
}

@article{kowalski79,
    author = {Robert Kowalski},
    title = {Algorithm = logic + control},
    journal = {Communications of the ACM},
    volume = {22},
    number = {7},
    year = {1979},
    issn = {0001-0782},
    pages = {424--436},
    doi = {http://doi.acm.org/10.1145/359131.359136},
    publisher = {ACM Press}
}


@techreport{achs,
   author = {K.Appleby, M.Carlsson, S.Haridi, D.Sahlin},
   number = {R86009B},
   organization = {SICS},
   title = {Garbage Collection for Prolog Based on {WAM}},
   year = {1986}
}

@techreport{bark87,
   author = {J.Barklund},
   number = {37B},
   organization = {UPMAIL},
   title = {A Garbage Collection Algorithm for Tricia},
   year = {1987}
}

@InProceedings(pitt,
	Author="E. Pittomvils, M.Bruynooghe, Y.D. Willems",
	Title = "Towards a Real Time Garbage Collector for Prolog",
	BookTitle="Proceedings of the Symposium on Logic Programming",
	Year="1985"
)

@article{ morris,
    author = "F.L.Morris",
    title = "A Time- and Space-Efficient Garbage Compaction Algorithm",
    journal={{CACM}},
    volume=21,
    number=8,
    pages={662-665}
}

@techreport{isoprolog95,
   title = {{I}nformation technology -- {P}rogramming languages -- {P}rolog -- {P}art 1: {G}eneral {C}ore},
   author = {Joint Technical Committee ISO/IEC JTC 1},
   year = 1995,
   number = {ISO/IEC 13211-1},
   organization = {International Standardization Organisation}
}

