# How to Cite References

This guide provides a simple format for citing sources in your chapter.

## TL;DR

**In text**: Use (Author(s), Year) or just (Author) if the year is obvious from context.  
**In References section**: Use the format `Author(s) (Year) [Title](link), Venue`  
**IMPORTANT**: All references MUST include a venue (journal, conference, publisher, etc.). Page numbers are NOT required.

## Reference List Format

At the end of your chapter, create a **References** section with entries in this format:

```
Author(s) (Year) [Title](linkToGoogleScholarQuery), Venue
```

### Components

1. **Author(s)**: Last names only. For multiple authors:
   - 2 authors: `Davis and Putnam`
   - 3-4 authors: `Davis, Logemann, and Loveland`
   - 5+ authors: `Moskewicz et al.`

2. **Year**: Publication year in parentheses

3. **Title**: Full title as a clickable link (preferably to the paper, or to Google Scholar)

4. **Venue**: Journal name, conference proceedings, or publisher
   - **REQUIRED**: Every reference must include a venue
   - **NOT required**: Page numbers, volume/issue numbers (unless essential for identification)
   - Examples: "Journal of the ACM", "Proceedings of the 38th Design Automation Conference", "Springer", "IEEE Transactions on Computers"

### Examples

Davis and Putnam (1960) [A Computing Procedure for Quantification Theory](https://scholar.google.com/scholar?q=A+Computing+Procedure+for+Quantification+Theory), Journal of the ACM

Moskewicz et al. (2001) [Chaff: Engineering an efficient SAT solver](https://scholar.google.com/scholar?q=Chaff+Engineering+an+efficient+SAT+solver), Proceedings of the 38th Design Automation Conference

Nipkow and Klein (2023) [Concrete Semantics with Isabelle/HOL](http://concrete-semantics.org/concrete-semantics.pdf), Springer

SWI-Prolog Documentation (2024) [Arithmetic Functions](https://www.swi-prolog.org/pldoc/man?section=arith), https://www.swi-prolog.org/

### Citations

- **(Author, Year)**: Full citation when first mentioned or when multiple works by same author
  - "The DPLL algorithm (Davis, Logemann, and Loveland, 1962) is the basis for modern SAT solvers."
- **(Author)**: Short citation when the year is obvious or already mentioned
  - "Modern SAT solvers build on the work of (Davis and Putnam) and (Davis, Logemann, and Loveland)."
- **Author (Year)**: Narrative citation when the author is part of the sentence
  - "Davis and Putnam (1960) introduced a resolution-based algorithm."

### Multiple authors in text

- 2 authors: `(Davis and Putnam, 1960)` or `Davis and Putnam (1960)`
- 3+ authors: `(Moskewicz et al., 2001)` or `Moskewicz et al. (2001)`

### Multiple citations

Separate with semicolons: `(Davis and Putnam, 1960; Davis, Logemann, and Loveland, 1962)`