equal
deleted
inserted
replaced
|
1 @Book{pl:milner97, |
|
2 author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen}, |
|
3 title = {The Definition of Standard ML (Revised)}, |
|
4 publisher = {The MIT Press}, |
|
5 year = 1997, |
|
6 address = {Cambridge, London}, |
|
7 annote = {97bok375} |
|
8 } |
|
9 |
1 @book{nipk:rew-all-that, |
10 @book{nipk:rew-all-that, |
2 title={Term rewriting and all that}, |
11 title={Term rewriting and all that}, |
3 author={Baader, Franz and Nipkow, Tobias }, |
12 author={Baader, Franz and Nipkow, Tobias }, |
4 publisher={Cambridge University Press},year={1998}, |
13 publisher={Cambridge University Press},year={1998}, |
5 volume={},series={},address={},edition={},month={}, |
14 volume={},series={},address={},edition={},month={}, |