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.

The Clam proof planner, user manual and programmer manual (version 2.5)

The work

Authorsvan Harmelen,; MRG group
Editors
Typetechreport
Year1996
Citekeyvanharmelen1996clam

Where it appeared

PublisherTechnical report
SchoolTechnical report

How it got here

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

Cite it as

@techreport{vanharmelen1996clam,
  title        = {The Clam proof planner, user manual and programmer manual (version 2.5)},
  author       = {van Harmelen, and MRG group},
  year         = {1996},
  publisher    = {Technical report},
  school       = {Technical report},
}

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