| Mon, 03 Dec 2012 08:16:58 +0000 | Christian Urban |
made changes and updates to the journal paper | file | diff | annotate |
| Tue, 02 Aug 2011 15:27:37 +0000 | urbanc | a version of the proof which dispenses with the notion of string-subtraction | file | diff | annotate |