Class TECHNICAL-REPORT-REFERENCE

• Defined in theory: Bibliographic-data
• Source code: bibliographic-data.lisp

Slots on this class:

Instance-Of: Class

Subclass-Of:

Inherits-author-from-document, Inherits-title-from-document, Inherits-year-from-document, Publication-reference

Domain-Of: Ref.report-number

---

Slots on instances of this class:

Ref.Publisher:

Same-Slot-Values:

(Compose Organization.Name Doc.Institution)

Slot-Cardinality: 1

Axioms:

(Inherited-Facet-Value Same-Slot-Values
                       Technical-Report-Reference
                       Ref.Publisher
                       (Compose Organization.Name Doc.Institution))

Other Related Axioms:

(=> (Ref.Report-Number $X $Y) (Technical-Report-Reference $X))

(=> (= (Ref.Type-Of-Work ?Ref) ?Name)
    (Or (Thesis-Reference ?Ref)
        (Technical-Report-Reference ?Ref)
        (Misc-Publication-Reference ?Ref)))

(Subclass-Partition Publication-Reference
                    (Setof Book-Reference
                           Book-Section-Reference
                           Article-Reference
                           Proceedings-Paper-Reference
                           Thesis-Reference
                           Technical-Report-Reference
                           Misc-Publication-Reference))