Rosetta Code

Cite This Page

Bibliographic details for ACL2

  • Page name: ACL2
  • Author: Rosetta Code contributors
  • Publisher: Rosetta Code.
  • Date of last revision: 30 May 2010 13:03 UTC
  • Date retrieved: 24 May 2024 13:55 UTC
  • Permanent URL: https://rosettacode.org/wiki/ACL2?oldid=149369
  • Page Version ID: 149369

Citation styles for ACL2

APA style

ACL2. (2010, May 30). Rosetta Code. Retrieved 13:55, May 24, 2024 from https://rosettacode.org/wiki/ACL2?oldid=149369.

MLA style

"ACL2." Rosetta Code. 30 May 2010, 13:03 UTC. 24 May 2024, 13:55 <https://rosettacode.org/wiki/ACL2?oldid=149369>.

MHRA style

Rosetta Code contributors, 'ACL2', Rosetta Code, 30 May 2010, 13:03 UTC, <https://rosettacode.org/wiki/ACL2?oldid=149369> [accessed 24 May 2024]

Chicago style

Rosetta Code contributors, "ACL2," Rosetta Code, https://rosettacode.org/wiki/ACL2?oldid=149369 (accessed May 24, 2024).

CBE/CSE style

Rosetta Code contributors. ACL2 [Internet]. Rosetta Code; 2010 May 30, 13:03 UTC [cited 2024 May 24]. Available from: https://rosettacode.org/wiki/ACL2?oldid=149369.

Bluebook style

ACL2, https://rosettacode.org/wiki/ACL2?oldid=149369 (last visited May 24, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "Rosetta Code",
   title = "ACL2 --- Rosetta Code{,} ",
   year = "2010",
   url = "https://rosettacode.org/wiki/ACL2?oldid=149369",
   note = "[Online; accessed 24-May-2024]"
 }

When using the LaTeX package url (\usepackage{url} somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred: 

 @misc{ wiki:xxx,
   author = "Rosetta Code",
   title = "ACL2 --- Rosetta Code{,} ",
   year = "2010",
   url = "\url{https://rosettacode.org/wiki/ACL2?oldid=149369}",
   note = "[Online; accessed 24-May-2024]"
 }


Retrieved from "https://rosettacode.org/wiki/Special:CiteThisPage"