Automatically assigned DDC number: 005115

Manually assigned DDC number: 005115

Number of references: 8

Title: Termination of Well-Moded Programs

Author:

Subject: S. Etalle A. Bossi Termination of Well-Moded Programs

Description: this paper we prove that, for a large class of programs, namely the class of well-moded programs, we can combine the advantages of both approaches. In fact, well-moded programs allow us to make the input dependencies explicit while following the approach of [6].

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-10-06

Pubyear: 1994

Format: ps

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

Source: http://www.dsi.unive.it/~bossi/P40/EBC98.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/449425.html"   Type="inproceedings"   CiteSeer_Book="Mathematical   Foundations   of   Computer   Science"   CiteSeer_Volume=""   Title="On   the   Unification   Free   Prolog   Programs,">

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

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

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

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

            <identifier   Org="ISBN:3540414134"   Paper_ID="/449425.html"   Extracted="3540414134"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540421270"   Paper_ID="/449425.html"   Extracted="3540421270"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540439595"   Paper_ID="/449425.html"   Extracted="3540439595"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540571825"   Paper_ID="/449425.html"   Extracted="3540571825"   DDC="005/.01/51"   Normalized_DDC="0050151"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

            <identifier   Org="ISBN:3540603603"   Paper_ID="/449425.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540650148"   Paper_ID="/449425.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/449425.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/111977.html"   Type="inproceedings"   CiteSeer_Book="Algebraic   Methodology   and   Software   Technology"   CiteSeer_Volume=""   Title="Verification   of   Logic   Programs   with   Delay   Declarations,">

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

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

            <identifier   Org="ISBN:038709427X"   Paper_ID="/111977.html"   Extracted="038709427X"   />

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

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

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

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

            <identifier   Org="ISBN:354043075X"   Paper_ID="/111977.html"   Extracted="354043075X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540601171"   Paper_ID="/111977.html"   Extracted="3540601171"   DDC="004.2/0151"   Normalized_DDC="00420151"   Normalized_Weight="0.08333333333333333"   />

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

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

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

            <identifier   Org="ISBN:3540746080"   Paper_ID="/111977.html"   Extracted="3540746080"   />

            <identifier   Org="ISBN:9031320005"   Paper_ID="/111977.html"   Extracted="9031320005"   />

      </rec>

      <rec   ID="/11639.html"   Type="article"   CiteSeer_Book="Formal   Aspects   of   Computing"   CiteSeer_Volume="6"   Title="Reasoning   About   Prolog   Programs:   From   Modes   Through   Types   to   Assertions,">

            <identifier   Org="ISBN:0198538545"   Paper_ID="/11639.html"   Extracted="0198538545"   DDC="004/.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.05263157894736842"   />

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

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

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

            <identifier   Org="ISBN:3540404384"   Paper_ID="/11639.html"   Extracted="3540404384"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.05263157894736842"   />

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

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

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:354066677X"   Paper_ID="/11639.html"   Extracted="354066677X"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.05263157894736842"   />

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

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

      </rec>

      <rec   ID="/369926.html"   Type="incollection"   CiteSeer_Book="116"   CiteSeer_Volume=""   Title="Modular   Termination   Proofs   for   Logic   and   Pure   Prolog   Programs.,">

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

            <identifier   Org="ISBN:0198538545"   Paper_ID="/369926.html"   Extracted="0198538545"   DDC="004/.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/44869.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="16"   Title="On   the   Occur-Check-Free   {PROLOG}   Programs,">

            <identifier   Org="ISBN:0198538545"   Paper_ID="/44869.html"   Extracted="0198538545"   DDC="004/.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

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

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

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

            <identifier   Org="ISBN:3540601058"   Paper_ID="/44869.html"   Extracted="3540601058"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:3540617396"   Paper_ID="/44869.html"   Extracted="3540617396"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540627189"   Paper_ID="/44869.html"   Extracted="3540627189"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:9031318078"   Paper_ID="/44869.html"   Extracted="9031318078"   />

      </rec>

      <rec   ID="/57853.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Programming"   CiteSeer_Volume="15"   Title="Strong   Termination   of   Logic   Programs,">

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

            <identifier   Org="ISBN:0198538545"   Paper_ID="/57853.html"   Extracted="0198538545"   DDC="004/.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0262041421"   Paper_ID="/57853.html"   Extracted="0262041421"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

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

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

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

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

            <identifier   Org="ISBN:3540439595"   Paper_ID="/57853.html"   Extracted="3540439595"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540617396"   Paper_ID="/57853.html"   Extracted="3540617396"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

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

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

      </rec>

      <rec   ID="/129261.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Mercury:   an   efficient   purely   declarative   logic   programming   language,">

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

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

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

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

            <identifier   Org="ISBN:0824722957"   Paper_ID="/129261.html"   Extracted="0824722957"   />

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

            <identifier   Org="ISBN:3540221247"   Paper_ID="/129261.html"   Extracted="3540221247"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540222537"   Paper_ID="/129261.html"   Extracted="3540222537"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540309470"   Paper_ID="/129261.html"   Extracted="3540309470"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05555555555555555"   />

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

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

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

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

            <identifier   Org="ISBN:354043075X"   Paper_ID="/129261.html"   Extracted="354043075X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

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

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

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

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

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

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

      </rec>

      <rec   ID="/214914.html"   Type="inproceedings"   CiteSeer_Book="Static   Analysis   Symposium"   CiteSeer_Volume=""   Title="Termination   Analysis   for   Mercury,">

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

            <identifier   Org="ISBN:3540205365"   Paper_ID="/214914.html"   Extracted="3540205365"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1"   />

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

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

            <identifier   Org="ISBN:3540423141"   Paper_ID="/214914.html"   Extracted="3540423141"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540426736"   Paper_ID="/214914.html"   Extracted="3540426736"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/214914.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540442847"   Paper_ID="/214914.html"   Extracted="3540442847"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

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

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

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Termination   of   Well-Moded   Programs">

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

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

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

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

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

            <identifier   Org="ISBN:354055789X"   Paper_ID="SELF"   Extracted="354055789X"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354066677X"   Paper_ID="SELF"   Extracted="354066677X"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.125"   />

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

      </rec>

</references_metadata>