@MISC{OhlbachSchmidt95b,
AUTHOR = {Ohlbach, H. J. and Schmidt, R. A.},
MONTH = {July},
YEAR = {1995},
TITLE = {The Optimised Functional Translation and Graded Modal Logics},
NOTE = {Combined abstract of talks held at the RelMiCs'96 Workshop in
Parati, Brasil, 10--14 July 1995.},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/parati96.dvi.gz, http://www.mpi-sb.mpg.de/guide/staff/schmidt/publications/parati96.ps.gz},
}