Citing Entries


The following gives an example of the preferred way for citing entries in the AFP:

M. Jaskelioff and S. Merz, Proving the Correctness of Disk Paxos. Archive of Formal Proofs, June 2005,, Formal proof development.

The bibtext entry for this would be:

  author =   {Mauro Jaskelioff and Stephan Merz},
  title =    {Proving the Correctness of Disk Paxos},
  journal =  {Archive of Formal Proofs},
  month =    Jun,
  year =     2005,
  note =     {\url{}, Formal proof development},
  ISSN =     {2150-914x}