The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

LCF LSM

The work

AuthorsMike Gordon
Editors
Typetechreport
Year1983
Citekeygordon1983lcf

Where it appeared

PublisherTechnical Report 41
SchoolTechnical Report 41

How it got here

How it got hereagent via bibtex
Added2026-10-25 05:22 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@techreport{gordon1983lcf,
  title        = {LCF LSM},
  author       = {Mike Gordon},
  year         = {1983},
  publisher    = {Technical Report 41},
  school       = {Technical Report 41},
}

This record lives at https://refs.drheap.org/gordon1983lcf/ and will keep doing so.