Index of /jiri/papers 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        25-Nov-2008 16:53      -  
[   ] TR98-18.a               25-Jun-1999 15:32     2k  
[   ] TR98-18.ps              25-Jun-1999 15:07   187k  
[   ] pricai98.a              25-Jun-1999 15:32     2k  
[   ] pricai98.pdf            15-Jul-1999 23:35   215k  
[   ] pricai98.ps             25-Jun-1999 14:52   137k  
[   ] tr98-18.pdf             15-Jul-1999 23:35   222k