Function REF.PAGES

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

Slots on this function:

Documentation:

In a reference, the pages of an article or analogous subdocument in which a publication resides. Specified as a sequence of two integers.

Arity: 2

Range: List

Axioms:

(=> (Ref.Pages ?Ref ?Page-Range)
    (And (Or (Book-Section-Reference ?Ref)
             (Article-Reference ?Ref)
             (Proceedings-Paper-Reference ?Ref))
         (Integer (First ?Page-Range))
         (Integer (First (Rest ?Page-Range)))))