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: 2 February 2023 23:38 UTC
Permanent URL: https://rosettacode.org/w/index.php?title=ACL2&oldid=149369
Page Version ID: 149369

Citation styles for ACL2

APA style

ACL2. (2010, May 30). Rosetta Code, . Retrieved 23:38, February 2, 2023 from https://rosettacode.org/w/index.php?title=ACL2&oldid=149369.

MLA style

"ACL2." Rosetta Code, . 30 May 2010, 13:03 UTC. 2 Feb 2023, 23:38 <https://rosettacode.org/w/index.php?title=ACL2&oldid=149369>.

MHRA style

Rosetta Code contributors, 'ACL2', Rosetta Code, , 30 May 2010, 13:03 UTC, <https://rosettacode.org/w/index.php?title=ACL2&oldid=149369> [accessed 2 February 2023]

Chicago style

Rosetta Code contributors, "ACL2," Rosetta Code, , https://rosettacode.org/w/index.php?title=ACL2&oldid=149369 (accessed February 2, 2023).

CBE/CSE style

Rosetta Code contributors. ACL2 [Internet]. Rosetta Code, ; 2010 May 30, 13:03 UTC [cited 2023 Feb 2]. Available from: https://rosettacode.org/w/index.php?title=ACL2&oldid=149369.

Bluebook style

ACL2, https://rosettacode.org/w/index.php?title=ACL2&oldid=149369 (last visited February 2, 2023).

BibTeX entry

 @misc{ wiki:xxx,
   author = "Rosetta Code",
   title = "ACL2 --- Rosetta Code{,} ",
   year = "2010",
   url = "https://rosettacode.org/w/index.php?title=ACL2&oldid=149369",
   note = "[Online; accessed 2-February-2023]"
 }

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/w/index.php?title=ACL2&oldid=149369}",
   note = "[Online; accessed 2-February-2023]"
 }