diff options
| author | Jim Fehrle | 2018-08-22 21:43:00 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2018-09-23 09:32:16 -0700 |
| commit | 02c3cac9fa4f4e88f911486e345740ff7d0a2eab (patch) | |
| tree | dcc40c90d48fbc7d8facc5a9199b326c37d0d895 /doc/sphinx/biblio.bib | |
| parent | 92fbd7383c3897b3932b0ad95afa0982d2d8a7e3 (diff) | |
Documentation for proof diffs
Diffstat (limited to 'doc/sphinx/biblio.bib')
| -rw-r--r-- | doc/sphinx/biblio.bib | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/sphinx/biblio.bib b/doc/sphinx/biblio.bib index aa8537c92d..d9eaa2c6c6 100644 --- a/doc/sphinx/biblio.bib +++ b/doc/sphinx/biblio.bib @@ -294,6 +294,17 @@ s}, year = {1994} } +@Article{Myers, + author = {Eugene Myers}, + title = {An {O(ND)} difference algorithm and its variations}, + journal = {Algorithmica}, + volume = {1}, + number = {2}, + year = {1986}, + bibsource = {https://link.springer.com/article/10.1007\%2FBF01840446}, + url = {http://www.xmailserver.org/diff2.pdf} +} + @InProceedings{Parent95b, author = {C. Parent}, booktitle = {{Mathematics of Program Construction'95}}, |