<rdf:RDF
    xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
    xmlns:iw='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#'
    xmlns:daml='http://www.daml.org/2001/03/daml+oil#'
    xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Organization'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Source'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#QualifyingOrganization'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#URL'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#LastSubmissionDate'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Date'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#rest'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#FirstSubmissionDate'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Name'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Submitter'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Author'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#first'/>
    <iw:Source
         iw:Name=''
         iw:URL=''>
        <iw:Submitter>http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml</iw:Submitter>
        <iw:FirstSubmissionDate>Fri Feb 07 13:16:26 PST 2003</iw:FirstSubmissionDate>
        <iw:LastSubmissionDate>Fri Feb 07 13:16:26 PST 2003</iw:LastSubmissionDate>
        <iw:Author>&apos;The Concept of Demodulation in Theorem Proving&apos;, L. Wos, G. A. Robinson, D. F. Carson, L. Shalla, JACM, Vol. 14, No. 4 pp. 698-709</iw:Author>
        <iw:QualifyingOrganization rdf:parseType='daml:collection'>
            <iw:Organization rdf:about='http://www.ksl.stanford.edu/software/IW/registry/ORG/ACM.daml'/>
        </iw:QualifyingOrganization>
        <iw:Date>October 1967</iw:Date>
    </iw:Source>
</rdf:RDF>