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.

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

---

Slots on instances of this class:

Ref.Author:

Minimum-Slot-Cardinality: 1

Ref.Booktitle:

Slot-Cardinality: 1

Ref.Document:

Slot-Value-Type: Proceedings

Ref.Secondary-Author:

Same-Slot-Values: Ref.editor

Ref.Secondary-Title:

Same-Slot-Values: Ref.booktitle

Ref.Title:

Slot-Cardinality: 1

Axioms:

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

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

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

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

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