Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 8

Title: Automated Theorem Proving by Test Set Induction

Author:

Subject: Adel Bouhoula Automated Theorem Proving by Test Set Induction

Description: Test set induction is a goal-directed proof technique which combines the full power of explicit induction and proof by consistency. It works by computing an appropriate explicit induction scheme called a test set, to trigger the induction proof, and then applies a refutation principle using proof by consistency techniques. We present a general scheme for test set induction together with a simple soundness proof. Our method is based on new notions of test sets, induction variables, and provable inconsistency, which allow us to refute false conjectures even in the case where the functions are not completely deøned. We show how test sets can be computed when the constructors are not free, and give an algorithm for computing induction variables. Finally, we present a procedure for proof by test set induction which is refutationally complete for a larger class of specifications than has been shown in previous work. The method has been implemented in the prover SPIKE. Based on computer ex...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-11-21

Pubyear: 1997

Format: ps

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

Source: http://www.loria.fr/~bouhoula/Bouhoula-JSC97.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="/517606.html"   Type="article"   CiteSeer_Book="Journal   of   Automated   Reasoning"   CiteSeer_Volume="16"   Title="Productive   Use   of   Failure   in   Inductive   Proof,">

            <identifier   Org="ISBN:038720170X"   Paper_ID="/517606.html"   Extracted="038720170X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:052183449X"   Paper_ID="/517606.html"   Extracted="052183449X"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:1402007124"   Paper_ID="/517606.html"   Extracted="1402007124"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402007493"   Paper_ID="/517606.html"   Extracted="1402007493"   DDC="530.13/8"   Normalized_DDC="530138"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402007914"   Paper_ID="/517606.html"   Extracted="1402007914"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402016565"   Paper_ID="/517606.html"   Extracted="1402016565"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540213775"   Paper_ID="/517606.html"   Extracted="3540213775"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540230173"   Paper_ID="/517606.html"   Extracted="3540230173"   DDC="511.36028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:354031430X"   Paper_ID="/517606.html"   Extracted="354031430X"   DDC="510/.285"   Normalized_DDC="510285"   Normalized_Weight="0.05555555555555555"   />

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

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

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

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

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

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

            <identifier   Org="ISBN:3540691472"   Paper_ID="/517606.html"   Extracted="3540691472"   />

      </rec>

      <rec   ID="/83788.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="170"   Title="Using   induction   and   rewriting   to   verify   and   complete   parameterized   specifications,">

            <identifier   Org="ISBN:0769507107"   Paper_ID="/83788.html"   Extracted="0769507107"   />

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

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

            <identifier   Org="ISBN:3540289313"   Paper_ID="/83788.html"   Extracted="3540289313"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

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

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

            <identifier   Org="ISBN:3540615326"   Paper_ID="/83788.html"   Extracted="3540615326"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540637729"   Paper_ID="/83788.html"   Extracted="3540637729"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540731466"   Paper_ID="/83788.html"   Extracted="3540731466"   />

            <identifier   Org="ISBN:3540731474"   Paper_ID="/83788.html"   Extracted="3540731474"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/53252.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="5"   Title="Automated   Mathematical   Induction,">

            <identifier   Org="ISBN:0792340108"   Paper_ID="/53252.html"   Extracted="0792340108"   DDC="511/.22"   Normalized_DDC="51122"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540223819"   Paper_ID="/53252.html"   Extracted="3540223819"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540250514"   Paper_ID="/53252.html"   Extracted="3540250514"   DDC="511.3/6/028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540402543"   Paper_ID="/53252.html"   Extracted="3540402543"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540429859"   Paper_ID="/53252.html"   Extracted="3540429859"   DDC="004.015118"   Normalized_DDC="004015118"   Normalized_Weight="0.07692307692307693"   />

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

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

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

            <identifier   Org="ISBN:3540615326"   Paper_ID="/53252.html"   Extracted="3540615326"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540660763"   Paper_ID="/53252.html"   Extracted="3540660763"   DDC="670/.285/63"   Normalized_DDC="67028563"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540679448"   Paper_ID="/53252.html"   Extracted="3540679448"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540731466"   Paper_ID="/53252.html"   Extracted="3540731466"   />

            <identifier   Org="ISBN:3540731474"   Paper_ID="/53252.html"   Extracted="3540731474"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/169744.html"   Type="article"   CiteSeer_Book="Journal   of   Automated   Reasoning"   CiteSeer_Volume="14"   Title="Implicit   Induction   in   Conditional   Theories,">

            <identifier   Org="ISBN:0769507107"   Paper_ID="/169744.html"   Extracted="0769507107"   />

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

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

            <identifier   Org="ISBN:3540223452"   Paper_ID="/169744.html"   Extracted="3540223452"   DDC="006.333"   Normalized_DDC="006333"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540250514"   Paper_ID="/169744.html"   Extracted="3540250514"   DDC="511.3/6/028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540429859"   Paper_ID="/169744.html"   Extracted="3540429859"   DDC="004.015118"   Normalized_DDC="004015118"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

            <identifier   Org="ISBN:3540643036"   Paper_ID="/169744.html"   Extracted="3540643036"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540647813"   Paper_ID="/169744.html"   Extracted="3540647813"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540660763"   Paper_ID="/169744.html"   Extracted="3540660763"   DDC="670/.285/63"   Normalized_DDC="67028563"   Normalized_Weight="0.06666666666666667"   />

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

      </rec>

      <rec   ID="/3923.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Theoretical   Aspects   of   Computer   Science"   CiteSeer_Volume=""   Title="Ground   Reducibility   and   Automata   with   Disequality   Constraints,">

            <identifier   Org="ISBN:3540008977"   Paper_ID="/3923.html"   Extracted="3540008977"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

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

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

            <identifier   Org="ISBN:3540585818"   Paper_ID="/3923.html"   Extracted="3540585818"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.14285714285714285"   />

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

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

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

      </rec>

      <rec   ID="/86872.html"   Type="incollection"   CiteSeer_Book="Handbook   of   Theoretical   Computer   Science   Volume   B   Formal   Models   and   Sematics   B"   CiteSeer_Volume=""   Title="Rewrite   Systems,">

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

            <identifier   Org="ISBN:3540192425"   Paper_ID="/86872.html"   Extracted="3540192425"   />

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

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

            <identifier   Org="ISBN:3540510818"   Paper_ID="/86872.html"   Extracted="3540510818"   />

            <identifier   Org="ISBN:3540534148"   Paper_ID="/86872.html"   Extracted="3540534148"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540539042"   Paper_ID="/86872.html"   Extracted="3540539042"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540543171"   Paper_ID="/86872.html"   Extracted="3540543171"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

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

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

            <identifier   Org="ISBN:3540565175"   Paper_ID="/86872.html"   Extracted="3540565175"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540616292"   Paper_ID="/86872.html"   Extracted="3540616292"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.05555555555555555"   />

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

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

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

      </rec>

      <rec   ID="/249436.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="26"   Title="Steps   Toward   Mechanizing   Program   Transformations   Using   {PVS},">

            <identifier   Org="ISBN:159454526X"   Paper_ID="/249436.html"   Extracted="159454526X"   DDC="004/.072"   Normalized_DDC="004072"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/21476.html"   Type="article"   CiteSeer_Book="Journal   of   Symbolic   Computation"   CiteSeer_Volume="17"   Title="A   Constructor-Based   Approach   to   Positive/Negative-Conditional   Equational   Specifications,">

            <identifier   Org="ISBN:0792343964"   Paper_ID="/21476.html"   Extracted="0792343964"   DDC="511/.8"   Normalized_DDC="5118"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0824719700"   Paper_ID="/21476.html"   Extracted="0824719700"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/21476.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540629505"   Paper_ID="/21476.html"   Extracted="3540629505"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Automated   Theorem   Proving   by   Test   Set   Induction">

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

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

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

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

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

            <identifier   Org="ISBN:3540441441"   Paper_ID="SELF"   Extracted="3540441441"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540600434"   Paper_ID="SELF"   Extracted="3540600434"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="SELF"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540637729"   Paper_ID="SELF"   Extracted="3540637729"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540643036"   Paper_ID="SELF"   Extracted="3540643036"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

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

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

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

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

      </rec>

</references_metadata>