Buchberger's algorithm: Difference between revisions

Content deleted Content added
No edit summary
3mta3 (talk | contribs)
m References: url redundant (doi supplied)
Line 32:
| month = August
| year = 1976
| url = http://doi.acm.org/10.1145/1088216.1088219
| doi = 10.1145/1088216.1088219
| id = {{ISSN|0163-5824}}