Class PROCEEDINGS-PAPER-REFERENCE

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

Slots on this class:

Documentation:

An article appearing in the published proceedings of some conference or workshop.

Instance-Of: Class

Subclass-Of: Inherits-year-from-document, Publication-reference

---

Slots on instances of this class:

Ref.Address:

Same-Slot-Values:

(Compose Conf.Address Doc.Conference Ref.Document)

Ref.Author:

Minimum-Slot-Cardinality: 1

Ref.Booktitle:

Same-Slot-Values:

(Compose Doc.Title Ref.Document)

Slot-Cardinality: 1

Ref.Day:

Same-Slot-Values:

(Compose Timepoint.Day Doc.Publication-Date Ref.Document)

Ref.Document:

Slot-Value-Type: Proceedings, Document

Ref.Month:

Same-Slot-Values:

(Compose Timepoint.Month Doc.Publication-Date Ref.Document)

Ref.Organization:

Same-Slot-Values:

(Compose Conf.Organization Doc.Conference Ref.Document)

Ref.Secondary-Author:

Same-Slot-Values: Ref.editor

Ref.Secondary-Title:

Same-Slot-Values: Ref.booktitle

Ref.Title:

Slot-Cardinality: 1

Axioms:

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Day
                       (Compose Timepoint.Day
                                Doc.Publication-Date
                                Ref.Document))

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Month
                       (Compose Timepoint.Month
                                Doc.Publication-Date
                                Ref.Document))

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Address
                       (Compose Conf.Address
                                Doc.Conference
                                Ref.Document))

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Organization
                       (Compose Conf.Organization
                                Doc.Conference
                                Ref.Document))

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Booktitle
                       (Compose Doc.Title Ref.Document))

Other Related Axioms:

(=> (= (Ref.Pages ?Ref) ?Page-Range)
    (Or (Book-Section-Reference ?Ref)
        (Article-Reference ?Ref)
        (Proceedings-Paper-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))