Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 33

Title: Constraint Logic Programming: A Survey

Author:

Subject: Joxan Jaffar Michael J. Maher Constraint Logic Programming: A Survey

Description: Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve in different areas of applications. In this survey of CLP, a primary goal is to give a systematic description of the major trends in terms of common fundamental concepts. The three main parts cover the theory, implementation issues, and programming for applications.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-02-04

Pubyear: 1994

Format: ps

Identifier: http://citeseer.ist.psu.edu/334926.html

Source: http://pikas.inf.tu-dresden.de/compulog/lectures/winter99/flcp/clp.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/622710.html"   Type="inproceedings"   CiteSeer_Book="Third   Conference   on   Algebraic   Logic   Programming"   CiteSeer_Volume=""   Title="Oracle   {S}emantics   for   {PROLOG},"   />

      <rec   ID="/9181.html"   Type="incollection"   CiteSeer_Book="Temporal   Databases"   CiteSeer_Volume=""   Title="Temporal   Deductive   Databases,">

            <identifier   Org="ISBN:0792381297"   Paper_ID="/9181.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0805324135"   Paper_ID="/9181.html"   Extracted="0805324135"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0934613753"   Paper_ID="/9181.html"   Extracted="0934613753"   />

            <identifier   Org="ISBN:3211824006"   Paper_ID="/9181.html"   Extracted="3211824006"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540285857"   Paper_ID="/9181.html"   Extracted="3540285857"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540405526"   Paper_ID="/9181.html"   Extracted="3540405526"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540562877"   Paper_ID="/9181.html"   Extracted="3540562877"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540569219"   Paper_ID="/9181.html"   Extracted="3540569219"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/9181.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540603654"   Paper_ID="/9181.html"   Extracted="3540603654"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540606084"   Paper_ID="/9181.html"   Extracted="3540606084"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540618147"   Paper_ID="/9181.html"   Extracted="3540618147"   DDC="005.74/01/5113"   Normalized_DDC="00574015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540637923"   Paper_ID="/9181.html"   Extracted="3540637923"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540645195"   Paper_ID="/9181.html"   Extracted="3540645195"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540659226"   Paper_ID="/9181.html"   Extracted="3540659226"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540666532"   Paper_ID="/9181.html"   Extracted="3540666532"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/9181.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/74385.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="108"   Title="Embedding   as   a   Tool   for   Language   Comparison,">

            <identifier   Org="ISBN:0198538537"   Paper_ID="/74385.html"   Extracted="0198538537"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0471937894"   Paper_ID="/74385.html"   Extracted="0471937894"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0546655416"   Paper_ID="/74385.html"   Extracted="0546655416"   />

            <identifier   Org="ISBN:0897913973"   Paper_ID="/74385.html"   Extracted="0897913973"   />

            <identifier   Org="ISBN:354021044X"   Paper_ID="/74385.html"   Extracted="354021044X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540410201"   Paper_ID="/74385.html"   Extracted="3540410201"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540434100"   Paper_ID="/74385.html"   Extracted="3540434100"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540544305"   Paper_ID="/74385.html"   Extracted="3540544305"   />

            <identifier   Org="ISBN:3540616047"   Paper_ID="/74385.html"   Extracted="3540616047"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/74385.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354071314X"   Paper_ID="/74385.html"   Extracted="354071314X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540852379"   Paper_ID="/74385.html"   Extracted="3540852379"   />

            <identifier   Org="ISBN:3540958908"   Paper_ID="/74385.html"   Extracted="3540958908"   />

            <identifier   Org="ISBN:9810210418"   Paper_ID="/74385.html"   Extracted="9810210418"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/192210.html"   Type="inproceedings"   CiteSeer_Book="Advances   in   Logic   Programming   Theory"   CiteSeer_Volume=""   Title="{From   Concurrent   Logic   Programming   to   Concurrent   Constraint   Programming},">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/192210.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0198538537"   Paper_ID="/192210.html"   Extracted="0198538537"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1581132557"   Paper_ID="/192210.html"   Extracted="1581132557"   />

            <identifier   Org="ISBN:3540211810"   Paper_ID="/192210.html"   Extracted="3540211810"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/192210.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540654631"   Paper_ID="/192210.html"   Extracted="3540654631"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/311874.html"   Type="article"   CiteSeer_Book="ieeetc"   CiteSeer_Volume="C35"   Title="Graph-Based   Algorithms   for   {B}oolean   Function   Manipulation,"   />

      <rec   ID="/35117.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Automatic   Frequency   Assignment   for   Cellular   Telephones   Using   Constraint   Satisfaction   Techniques,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/35117.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/35117.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:0792396634"   Paper_ID="/35117.html"   Extracted="0792396634"   DDC="519.7/7/028511"   Normalized_DDC="51977028511"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/311445.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="11"   Title="Static   Inference   of   Modes   and   Data   Dependencies   in   Logic   Programs,">

            <identifier   Org="ISBN:0262691779"   Paper_ID="/311445.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0792394577"   Paper_ID="/311445.html"   Extracted="0792394577"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0818625856"   Paper_ID="/311445.html"   Extracted="0818625856"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0818672676"   Paper_ID="/311445.html"   Extracted="0818672676"   DDC="621.48/38"   Normalized_DDC="6214838"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:1581135289"   Paper_ID="/311445.html"   Extracted="1581135289"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540266550"   Paper_ID="/311445.html"   Extracted="3540266550"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540554254"   Paper_ID="/311445.html"   Extracted="3540554254"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540569448"   Paper_ID="/311445.html"   Extracted="3540569448"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540572643"   Paper_ID="/311445.html"   Extracted="3540572643"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540578773"   Paper_ID="/311445.html"   Extracted="3540578773"   DDC="005.4/5"   Normalized_DDC="00545"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/311445.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540602992"   Paper_ID="/311445.html"   Extracted="3540602992"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/311445.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540610553"   Paper_ID="/311445.html"   Extracted="3540610553"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354061463X"   Paper_ID="/311445.html"   Extracted="354061463X"   DDC="005.1/2/015113"   Normalized_DDC="00512015113"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540617566"   Paper_ID="/311445.html"   Extracted="3540617566"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540620648"   Paper_ID="/311445.html"   Extracted="3540620648"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540657657"   Paper_ID="/311445.html"   Extracted="3540657657"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/311445.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

      </rec>

      <rec   ID="/226801.html"   Type="inproceedings"   CiteSeer_Book="International   Logic   Programming   Symposium"   CiteSeer_Volume=""   Title="Embedding   extensional   finite   sets   in   {CLP},">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/226801.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262600315"   Paper_ID="/226801.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262631806"   Paper_ID="/226801.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0387951970"   Paper_ID="/226801.html"   Extracted="0387951970"   DDC="511.3/22"   Normalized_DDC="511322"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0792380452"   Paper_ID="/226801.html"   Extracted="0792380452"   DDC="005.75/6"   Normalized_DDC="005756"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/226801.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540600434"   Paper_ID="/226801.html"   Extracted="3540600434"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/226801.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540606092"   Paper_ID="/226801.html"   Extracted="3540606092"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540607943"   Paper_ID="/226801.html"   Extracted="3540607943"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540625011"   Paper_ID="/226801.html"   Extracted="3540625011"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/226801.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/226801.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/226801.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/226801.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540671021"   Paper_ID="/226801.html"   Extracted="3540671021"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/365527.html"   Type="inproceedings"   CiteSeer_Book="Foundations   of   Software   Technology   and   Theoretical   Computer   Science"   CiteSeer_Volume=""   Title="On   the   Semantics   of   Optimization   Predicates   in   {CLP}   Languages,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/365527.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/365527.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0792396634"   Paper_ID="/365527.html"   Extracted="0792396634"   DDC="519.7/7/028511"   Normalized_DDC="51977028511"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1595930906"   Paper_ID="/365527.html"   Extracted="1595930906"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/365527.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540575294"   Paper_ID="/365527.html"   Extracted="3540575294"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/365527.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540591559"   Paper_ID="/365527.html"   Extracted="3540591559"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540614796"   Paper_ID="/365527.html"   Extracted="3540614796"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/33803.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eighth   International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Modeling   Answer   Constraints   in   Constraint   Logic   Programs,">

            <identifier   Org="ISBN:0262560585"   Paper_ID="/33803.html"   Extracted="0262560585"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262571226"   Paper_ID="/33803.html"   Extracted="0262571226"   DDC="005.74/068"   Normalized_DDC="00574068"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/33803.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0387582169"   Paper_ID="/33803.html"   Extracted="0387582169"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0824796063"   Paper_ID="/33803.html"   Extracted="0824796063"   DDC="511.3/24"   Normalized_DDC="511324"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0897917200"   Paper_ID="/33803.html"   Extracted="0897917200"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540198520"   Paper_ID="/33803.html"   Extracted="3540198520"   DDC="005.101512"   Normalized_DDC="005101512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540542337"   Paper_ID="/33803.html"   Extracted="3540542337"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540544445"   Paper_ID="/33803.html"   Extracted="3540544445"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540565965"   Paper_ID="/33803.html"   Extracted="3540565965"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540577858"   Paper_ID="/33803.html"   Extracted="3540577858"   DDC="004/.01/511"   Normalized_DDC="00401511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354057879X"   Paper_ID="/33803.html"   Extracted="354057879X"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540587926"   Paper_ID="/33803.html"   Extracted="3540587926"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540620311"   Paper_ID="/33803.html"   Extracted="3540620311"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/33803.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:4274077241"   Paper_ID="/33803.html"   Extracted="4274077241"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/302704.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fifth   International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="The   Stable   Model   Semantics   for   Logic   Programming,">

            <identifier   Org="ISBN:0262631806"   Paper_ID="/302704.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/302704.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/302704.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:354020721X"   Paper_ID="/302704.html"   Extracted="354020721X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540226710"   Paper_ID="/302704.html"   Extracted="3540226710"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/302704.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540412859"   Paper_ID="/302704.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540425934"   Paper_ID="/302704.html"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540564543"   Paper_ID="/302704.html"   Extracted="3540564543"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584676"   Paper_ID="/302704.html"   Extracted="3540584676"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584951"   Paper_ID="/302704.html"   Extracted="3540584951"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540594671"   Paper_ID="/302704.html"   Extracted="3540594671"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540618147"   Paper_ID="/302704.html"   Extracted="3540618147"   DDC="005.74/01/5113"   Normalized_DDC="00574015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/302704.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540657037"   Paper_ID="/302704.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/302704.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540699112"   Paper_ID="/302704.html"   Extracted="3540699112"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540721991"   Paper_ID="/302704.html"   Extracted="3540721991"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540738460"   Paper_ID="/302704.html"   Extracted="3540738460"   />

            <identifier   Org="ISBN:3540755586"   Paper_ID="/302704.html"   Extracted="3540755586"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/185961.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Constraint-based   query   optimization   for   spatial   databases,">

            <identifier   Org="ISBN:0121680304"   Paper_ID="/185961.html"   Extracted="0121680304"   DDC="621.3822"   Normalized_DDC="6213822"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0198537921"   Paper_ID="/185961.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/185961.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0792380452"   Paper_ID="/185961.html"   Extracted="0792380452"   DDC="005.75/6"   Normalized_DDC="005756"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818666609"   Paper_ID="/185961.html"   Extracted="0818666609"   DDC="006.66"   Normalized_DDC="00666"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/185961.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0897917308"   Paper_ID="/185961.html"   Extracted="0897917308"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540544151"   Paper_ID="/185961.html"   Extracted="3540544151"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540578870"   Paper_ID="/185961.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/185961.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/185961.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540641998"   Paper_ID="/185961.html"   Extracted="3540641998"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/576291.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Definite   Relations   over   Constraint   Languages,">

            <identifier   Org="ISBN:0198537468"   Paper_ID="/576291.html"   Extracted="0198537468"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262193612"   Paper_ID="/576291.html"   Extracted="0262193612"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0937073717"   Paper_ID="/576291.html"   Extracted="0937073717"   />

            <identifier   Org="ISBN:3110162733"   Paper_ID="/576291.html"   Extracted="3110162733"   DDC="410/.1/51"   Normalized_DDC="410151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540215239"   Paper_ID="/576291.html"   Extracted="3540215239"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540415971"   Paper_ID="/576291.html"   Extracted="3540415971"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540439609"   Paper_ID="/576291.html"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540523375"   Paper_ID="/576291.html"   Extracted="3540523375"   />

            <identifier   Org="ISBN:3540541411"   Paper_ID="/576291.html"   Extracted="3540541411"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540554602"   Paper_ID="/576291.html"   Extracted="3540554602"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540568689"   Paper_ID="/576291.html"   Extracted="3540568689"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540578021"   Paper_ID="/576291.html"   Extracted="3540578021"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540578803"   Paper_ID="/576291.html"   Extracted="3540578803"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354058403X"   Paper_ID="/576291.html"   Extracted="354058403X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540593381"   Paper_ID="/576291.html"   Extracted="3540593381"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540637001"   Paper_ID="/576291.html"   Extracted="3540637001"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540676236"   Paper_ID="/576291.html"   Extracted="3540676236"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:9051990995"   Paper_ID="/576291.html"   Extracted="9051990995"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/169288.html"   Type="inproceedings"   CiteSeer_Book="Principles   and   Practice   of   Constraint   Programming"   CiteSeer_Volume=""   Title="Fourier's   Elimination:   Which   to   Choose?,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/169288.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0262193612"   Paper_ID="/169288.html"   Extracted="0262193612"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0262600315"   Paper_ID="/169288.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1558607323"   Paper_ID="/169288.html"   Extracted="1558607323"   DDC="794.8/1526"   Normalized_DDC="79481526"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1586031112"   Paper_ID="/169288.html"   Extracted="1586031112"   />

            <identifier   Org="ISBN:3540285849"   Paper_ID="/169288.html"   Extracted="3540285849"   DDC="005.1/3"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/169288.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540652248"   Paper_ID="/169288.html"   Extracted="3540652248"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540893296"   Paper_ID="/169288.html"   Extracted="3540893296"   />

            <identifier   Org="ISBN:3540894381"   Paper_ID="/169288.html"   Extracted="3540894381"   />

      </rec>

      <rec   ID="/70206.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGPLAN   91   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="A   methodology   for   managing   hard   constraints   in   {CLP}   systems,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/70206.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/70206.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1586031112"   Paper_ID="/70206.html"   Extracted="1586031112"   />

            <identifier   Org="ISBN:3540202021"   Paper_ID="/70206.html"   Extracted="3540202021"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540208135"   Paper_ID="/70206.html"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/70206.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540559302"   Paper_ID="/70206.html"   Extracted="3540559302"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354057235X"   Paper_ID="/70206.html"   Extracted="354057235X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/70206.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/453690.html"   Type="inproceedings"   CiteSeer_Book="Logic   Programming   Proceedings   of   the   1991   International   Symposium"   CiteSeer_Volume=""   Title="Programming   Paradigms   of   the   {A}ndorra   Kernel   Language,"   />

      <rec   ID="/178958.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Indexing   for   data   models   with   constraints   and   classes   (extended   abstract),">

            <identifier   Org="ISBN:0897915933"   Paper_ID="/178958.html"   Extracted="0897915933"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="1.0"   />

            <identifier   Org="ISBN:1558604472"   Paper_ID="/178958.html"   Extracted="1558604472"   />

      </rec>

      <rec   ID="/184966.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Propagating   Constraints   in   Recursive   Deductive   Databases,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/184966.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/184966.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0792380452"   Paper_ID="/184966.html"   Extracted="0792380452"   DDC="005.75/6"   Normalized_DDC="005756"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0818621389"   Paper_ID="/184966.html"   Extracted="0818621389"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0897915194"   Paper_ID="/184966.html"   Extracted="0897915194"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0897916425"   Paper_ID="/184966.html"   Extracted="0897916425"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540552707"   Paper_ID="/184966.html"   Extracted="3540552707"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540562826"   Paper_ID="/184966.html"   Extracted="3540562826"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540575308"   Paper_ID="/184966.html"   Extracted="3540575308"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:9810231075"   Paper_ID="/184966.html"   Extracted="9810231075"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/23976.html"   Type="inproceedings"   CiteSeer_Book="Position   Papers   for   the   First   Workshop   on   Principles   and   Practice   of   Constraint   Programming"   CiteSeer_Volume=""   Title="Higher-Order   Logic   Programming   as   Constraint   Logic   Programming,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/23976.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0262631733"   Paper_ID="/23976.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0817640320"   Paper_ID="/23976.html"   Extracted="0817640320"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/23976.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/23976.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540610642"   Paper_ID="/23976.html"   Extracted="3540610642"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/88938.html"   Type="Article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="1"   Title="A   Logic   Programming   Language   with   Lambda-Abstraction,   Function   Variables,   and   Simple   Unification,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/88938.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262631733"   Paper_ID="/88938.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0387582169"   Paper_ID="/88938.html"   Extracted="0387582169"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540229418"   Paper_ID="/88938.html"   Extracted="3540229418"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354030553X"   Paper_ID="/88938.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/88938.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354053590X"   Paper_ID="/88938.html"   Extracted="354053590X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540558446"   Paper_ID="/88938.html"   Extracted="3540558446"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354055873X"   Paper_ID="/88938.html"   Extracted="354055873X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540578870"   Paper_ID="/88938.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540579354"   Paper_ID="/88938.html"   Extracted="3540579354"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540587926"   Paper_ID="/88938.html"   Extracted="3540587926"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540614648"   Paper_ID="/88938.html"   Extracted="3540614648"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540617353"   Paper_ID="/88938.html"   Extracted="3540617353"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540649875"   Paper_ID="/88938.html"   Extracted="3540649875"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/88938.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540705880"   Paper_ID="/88938.html"   Extracted="3540705880"   />

      </rec>

      <rec   ID="/8668.html"   Type="incollection"   CiteSeer_Book="Handbook   of   Logic   in   AI   and   Logic   Programming   Volume   5   Logic   Programming"   CiteSeer_Volume=""   Title="Higher-Order   Logic   Programming,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/8668.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:038755498X"   Paper_ID="/8668.html"   Extracted="038755498X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0387582169"   Paper_ID="/8668.html"   Extracted="0387582169"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540164928"   Paper_ID="/8668.html"   Extracted="3540164928"   />

            <identifier   Org="ISBN:354019343X"   Paper_ID="/8668.html"   Extracted="354019343X"   />

            <identifier   Org="ISBN:354024087X"   Paper_ID="/8668.html"   Extracted="354024087X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/8668.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/8668.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354042525X"   Paper_ID="/8668.html"   Extracted="354042525X"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540425543"   Paper_ID="/8668.html"   Extracted="3540425543"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354043092X"   Paper_ID="/8668.html"   Extracted="354043092X"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/8668.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540531629"   Paper_ID="/8668.html"   Extracted="3540531629"   />

            <identifier   Org="ISBN:354055727X"   Paper_ID="/8668.html"   Extracted="354055727X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540558446"   Paper_ID="/8668.html"   Extracted="3540558446"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354055873X"   Paper_ID="/8668.html"   Extracted="354055873X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540580255"   Paper_ID="/8668.html"   Extracted="3540580255"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540634592"   Paper_ID="/8668.html"   Extracted="3540634592"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540732276"   Paper_ID="/8668.html"   Extracted="3540732276"   />

      </rec>

      <rec   ID="/54955.html"   Type="inproceedings"   CiteSeer_Book="Logical   Frameworks"   CiteSeer_Volume=""   Title="Logic   Programming   in   the   {LF}   Logical   Framework,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/54955.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0262541041"   Paper_ID="/54955.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0262600315"   Paper_ID="/54955.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:038755498X"   Paper_ID="/54955.html"   Extracted="038755498X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0387582169"   Paper_ID="/54955.html"   Extracted="0387582169"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0521413001"   Paper_ID="/54955.html"   Extracted="0521413001"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:078032563X"   Paper_ID="/54955.html"   Extracted="078032563X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0818627352"   Paper_ID="/54955.html"   Extracted="0818627352"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:1402006071"   Paper_ID="/54955.html"   Extracted="1402006071"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540221522"   Paper_ID="/54955.html"   Extracted="3540221522"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/54955.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/54955.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540429573"   Paper_ID="/54955.html"   Extracted="3540429573"   DDC="005.11"   Normalized_DDC="00511"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:354058403X"   Paper_ID="/54955.html"   Extracted="354058403X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540610553"   Paper_ID="/54955.html"   Extracted="3540610553"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540610642"   Paper_ID="/54955.html"   Extracted="3540610642"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540613773"   Paper_ID="/54955.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540637001"   Paper_ID="/54955.html"   Extracted="3540637001"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/54955.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540678638"   Paper_ID="/54955.html"   Extracted="3540678638"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05"   />

      </rec>

      <rec   ID="/378200.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Programming"   CiteSeer_Volume="11"   Title="Magic   Templates:   A   Spellbinding   Approach   To   Logic   Programs,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/378200.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0262541041"   Paper_ID="/378200.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0262600315"   Paper_ID="/378200.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0262620995"   Paper_ID="/378200.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:026264035X"   Paper_ID="/378200.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0897916395"   Paper_ID="/378200.html"   Extracted="0897916395"   />

            <identifier   Org="ISBN:0898713129"   Paper_ID="/378200.html"   Extracted="0898713129"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1558601015"   Paper_ID="/378200.html"   Extracted="1558601015"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/378200.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540429352"   Paper_ID="/378200.html"   Extracted="3540429352"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540540296"   Paper_ID="/378200.html"   Extracted="3540540296"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540575308"   Paper_ID="/378200.html"   Extracted="3540575308"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/378200.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540609393"   Paper_ID="/378200.html"   Extracted="3540609393"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540634789"   Paper_ID="/378200.html"   Extracted="3540634789"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540637923"   Paper_ID="/378200.html"   Extracted="3540637923"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/579997.html"   Type="article"   CiteSeer_Book="Software      Practice   and   Experience"   CiteSeer_Volume="23"   Title="A   First   Exploration   of   PrologIII's   Capabilities,"   />

      <rec   ID="/46908.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   Eighteenth   Annual   ACM   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Semantic   Foundations   of   Concurrent   Constraint   Programming,">

            <identifier   Org="ISBN:0262193612"   Paper_ID="/46908.html"   Extracted="0262193612"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/46908.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0444527265"   Paper_ID="/46908.html"   Extracted="0444527265"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0824722892"   Paper_ID="/46908.html"   Extracted="0824722892"   />

            <identifier   Org="ISBN:1581135289"   Paper_ID="/46908.html"   Extracted="1581135289"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540222618"   Paper_ID="/46908.html"   Extracted="3540222618"   DDC="511.3/5"   Normalized_DDC="51135"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/46908.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540428631"   Paper_ID="/46908.html"   Extracted="3540428631"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354043190X"   Paper_ID="/46908.html"   Extracted="354043190X"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540565965"   Paper_ID="/46908.html"   Extracted="3540565965"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540584315"   Paper_ID="/46908.html"   Extracted="3540584315"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/46908.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540591559"   Paper_ID="/46908.html"   Extracted="3540591559"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540594507"   Paper_ID="/46908.html"   Extracted="3540594507"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540594795"   Paper_ID="/46908.html"   Extracted="3540594795"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540604723"   Paper_ID="/46908.html"   Extracted="3540604723"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540616047"   Paper_ID="/46908.html"   Extracted="3540616047"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540666265"   Paper_ID="/46908.html"   Extracted="3540666265"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354071314X"   Paper_ID="/46908.html"   Extracted="354071314X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540749691"   Paper_ID="/46908.html"   Extracted="3540749691"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.05263157894736842"   />

      </rec>

      <rec   ID="/583876.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Residuation   and   Guarded   Rules   for   Constraint   Logic   Programming,">

            <identifier   Org="ISBN:0125979304"   Paper_ID="/583876.html"   Extracted="0125979304"   DDC="401.51"   Normalized_DDC="40151"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0198537921"   Paper_ID="/583876.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0262193612"   Paper_ID="/583876.html"   Extracted="0262193612"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/583876.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0387569790"   Paper_ID="/583876.html"   Extracted="0387569790"   DDC="006.3/3/015115"   Normalized_DDC="00633015115"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0444527265"   Paper_ID="/583876.html"   Extracted="0444527265"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1558604448"   Paper_ID="/583876.html"   Extracted="1558604448"   DDC="006.3/37"   Normalized_DDC="006337"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540433716"   Paper_ID="/583876.html"   Extracted="3540433716"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540559302"   Paper_ID="/583876.html"   Extracted="3540559302"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540591559"   Paper_ID="/583876.html"   Extracted="3540591559"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540594795"   Paper_ID="/583876.html"   Extracted="3540594795"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354060670X"   Paper_ID="/583876.html"   Extracted="354060670X"   />

            <identifier   Org="ISBN:3540676236"   Paper_ID="/583876.html"   Extracted="3540676236"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540708804"   Paper_ID="/583876.html"   Extracted="3540708804"   />

      </rec>

      <rec   ID="/374683.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Records   for   Logic   Programming,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/374683.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262193612"   Paper_ID="/374683.html"   Extracted="0262193612"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262631806"   Paper_ID="/374683.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/374683.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:079238038X"   Paper_ID="/374683.html"   Extracted="079238038X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1581138199"   Paper_ID="/374683.html"   Extracted="1581138199"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/374683.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:3540568689"   Paper_ID="/374683.html"   Extracted="3540568689"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540569448"   Paper_ID="/374683.html"   Extracted="3540569448"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540575294"   Paper_ID="/374683.html"   Extracted="3540575294"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354058403X"   Paper_ID="/374683.html"   Extracted="354058403X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540594795"   Paper_ID="/374683.html"   Extracted="3540594795"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/374683.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540615113"   Paper_ID="/374683.html"   Extracted="3540615113"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540617566"   Paper_ID="/374683.html"   Extracted="3540617566"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540630457"   Paper_ID="/374683.html"   Extracted="3540630457"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/374683.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/122552.html"   Type="article"   CiteSeer_Book="Annals   of   Mathematics   and   Artificial   Intelligence"   CiteSeer_Volume="8"   Title="Subsumption   and   Indexing   in   Constraint   Query   Languages   with   Linear   Arithmetic   Constraints,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/122552.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/122552.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0792380452"   Paper_ID="/122552.html"   Extracted="0792380452"   DDC="005.75/6"   Normalized_DDC="005756"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0897917308"   Paper_ID="/122552.html"   Extracted="0897917308"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0897917316"   Paper_ID="/122552.html"   Extracted="0897917316"   DDC="621.3819505"   Normalized_DDC="6213819505"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540199454"   Paper_ID="/122552.html"   Extracted="3540199454"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540208038"   Paper_ID="/122552.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540433813"   Paper_ID="/122552.html"   Extracted="3540433813"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540602992"   Paper_ID="/122552.html"   Extracted="3540602992"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540625011"   Paper_ID="/122552.html"   Extracted="3540625011"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540632387"   Paper_ID="/122552.html"   Extracted="3540632387"   DDC="910/.285"   Normalized_DDC="910285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540641998"   Paper_ID="/122552.html"   Extracted="3540641998"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/122552.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/122552.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540676287"   Paper_ID="/122552.html"   Extracted="3540676287"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540752870"   Paper_ID="/122552.html"   Extracted="3540752870"   DDC="006.7/4"   Normalized_DDC="00674"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540898557"   Paper_ID="/122552.html"   Extracted="3540898557"   />

      </rec>

      <rec   ID="/449470.html"   Type="inproceedings"   CiteSeer_Book="IJCAI   85   Proceedings   of   the   Ninth   International   Joint   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Automated   Deduction   by   Theory   Resolution,">

            <identifier   Org="ISBN:0198537468"   Paper_ID="/449470.html"   Extracted="0198537468"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0821806114"   Paper_ID="/449470.html"   Extracted="0821806114"   DDC="006.3/0151"   Normalized_DDC="00630151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/449470.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:158488360X"   Paper_ID="/449470.html"   Extracted="158488360X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/449470.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:3540167803"   Paper_ID="/449470.html"   Extracted="3540167803"   />

            <identifier   Org="ISBN:354019343X"   Paper_ID="/449470.html"   Extracted="354019343X"   />

            <identifier   Org="ISBN:3540405593"   Paper_ID="/449470.html"   Extracted="3540405593"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540422544"   Paper_ID="/449470.html"   Extracted="3540422544"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439293"   Paper_ID="/449470.html"   Extracted="3540439293"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354055727X"   Paper_ID="/449470.html"   Extracted="354055727X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540581561"   Paper_ID="/449470.html"   Extracted="3540581561"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540593381"   Paper_ID="/449470.html"   Extracted="3540593381"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540631046"   Paper_ID="/449470.html"   Extracted="3540631046"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540671900"   Paper_ID="/449470.html"   Extracted="3540671900"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540735941"   Paper_ID="/449470.html"   Extracted="3540735941"   />

      </rec>

      <rec   ID="/20957.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Kinematic   synthesis   with   configuration   spaces,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/20957.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:026251091X"   Paper_ID="/20957.html"   Extracted="026251091X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0521792479"   Paper_ID="/20957.html"   Extracted="0521792479"   DDC="620/.0042"   Normalized_DDC="6200042"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:079183624X"   Paper_ID="/20957.html"   Extracted="079183624X"   DDC="620/.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0791836991"   Paper_ID="/20957.html"   Extracted="0791836991"   DDC="620/.0042"   Normalized_DDC="6200042"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0791847403"   Paper_ID="/20957.html"   Extracted="0791847403"   DDC="620/.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:079184742X"   Paper_ID="/20957.html"   Extracted="079184742X"   DDC="620/.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0816908265"   Paper_ID="/20957.html"   Extracted="0816908265"   DDC="660/.2815"   Normalized_DDC="6602815"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1852332425"   Paper_ID="/20957.html"   Extracted="1852332425"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1860583725"   Paper_ID="/20957.html"   Extracted="1860583725"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540761284"   Paper_ID="/20957.html"   Extracted="3540761284"   DDC="620/.00285/633"   Normalized_DDC="62000285633"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/187249.html"   Type="inproceedings"   CiteSeer_Book="International   Logic   Programming   Symposium"   CiteSeer_Volume=""   Title="Concurrent   Constraint   Logic   Programming   On   Massively   Parallel   {SIMD}   Computers,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/187249.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0387582169"   Paper_ID="/187249.html"   Extracted="0387582169"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/187249.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/187249.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540606882"   Paper_ID="/187249.html"   Extracted="3540606882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/187249.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/448345.html"   Type="incollection"   CiteSeer_Book="Handbook   of   Theoretical   Computer   Science   Volume   A   Algorithms   and   Complexity   A"   CiteSeer_Volume=""   Title="Average-Case   Analysis   of   Algorithms   and   Data   Structures,">

            <identifier   Org="ISBN:0134894286"   Paper_ID="/448345.html"   Extracted="0134894286"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0821811843"   Paper_ID="/448345.html"   Extracted="0821811843"   DDC="005.4/2"   Normalized_DDC="00542"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0849326494"   Paper_ID="/448345.html"   Extracted="0849326494"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0898714907"   Paper_ID="/448345.html"   Extracted="0898714907"   />

            <identifier   Org="ISBN:1402004893"   Paper_ID="/448345.html"   Extracted="1402004893"   DDC="005.75/8"   Normalized_DDC="005758"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:158488360X"   Paper_ID="/448345.html"   Extracted="158488360X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540006230"   Paper_ID="/448345.html"   Extracted="3540006230"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540220674"   Paper_ID="/448345.html"   Extracted="3540220674"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540406719"   Paper_ID="/448345.html"   Extracted="3540406719"   />

            <identifier   Org="ISBN:3540520481"   Paper_ID="/448345.html"   Extracted="3540520481"   />

            <identifier   Org="ISBN:3540542337"   Paper_ID="/448345.html"   Extracted="3540542337"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540582010"   Paper_ID="/448345.html"   Extracted="3540582010"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/448345.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540672478"   Paper_ID="/448345.html"   Extracted="3540672478"   DDC="511/.6"   Normalized_DDC="5116"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3764369337"   Paper_ID="/448345.html"   Extracted="3764369337"   DDC="511"   Normalized_DDC="511"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/162688.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Hierarchical   Constraint   Logic   Programming,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/162688.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262193612"   Paper_ID="/162688.html"   Extracted="0262193612"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262631733"   Paper_ID="/162688.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262631806"   Paper_ID="/162688.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0387572872"   Paper_ID="/162688.html"   Extracted="0387572872"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0444527265"   Paper_ID="/162688.html"   Extracted="0444527265"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0824722892"   Paper_ID="/162688.html"   Extracted="0824722892"   />

            <identifier   Org="ISBN:3540202021"   Paper_ID="/162688.html"   Extracted="3540202021"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540279962"   Paper_ID="/162688.html"   Extracted="3540279962"   DDC="004.67/8"   Normalized_DDC="004678"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540441204"   Paper_ID="/162688.html"   Extracted="3540441204"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/162688.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540614796"   Paper_ID="/162688.html"   Extracted="3540614796"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/162688.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:427490525X"   Paper_ID="/162688.html"   Extracted="427490525X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:9051990995"   Paper_ID="/162688.html"   Extracted="9051990995"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:9810212518"   Paper_ID="/162688.html"   Extracted="9810212518"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Constraint   Logic   Programming:   A   Survey">

            <identifier   Org="ISBN:0262600315"   Paper_ID="SELF"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0262631806"   Paper_ID="SELF"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="SELF"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0444527265"   Paper_ID="SELF"   Extracted="0444527265"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540000100"   Paper_ID="SELF"   Extracted="3540000100"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540202021"   Paper_ID="SELF"   Extracted="3540202021"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="SELF"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540411372"   Paper_ID="SELF"   Extracted="3540411372"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540412859"   Paper_ID="SELF"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="SELF"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540508201"   Paper_ID="SELF"   Extracted="3540508201"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="SELF"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540587926"   Paper_ID="SELF"   Extracted="3540587926"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540594795"   Paper_ID="SELF"   Extracted="3540594795"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540620311"   Paper_ID="SELF"   Extracted="3540620311"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540634592"   Paper_ID="SELF"   Extracted="3540634592"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="SELF"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540676236"   Paper_ID="SELF"   Extracted="3540676236"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540676287"   Paper_ID="SELF"   Extracted="3540676287"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540678859"   Paper_ID="SELF"   Extracted="3540678859"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05263157894736842"   />

      </rec>

</references_metadata>