Relation REF.LABELS

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

Slots on this relation:

Documentation:

Labels associated with a reference.

Instance-Of: Relation

Arity: 2

Domain: Reference

Range: Biblio-name

Other Related Axioms:

(=> (Ref.Labels $X $Y) (Biblio-Name $Y))

(=> (Ref.Labels $X $Y) (Reference $X))