@INPROCEEDINGS{HustadtSchmidtWeidenbach98,
AUTHOR = {Hustadt, U. and Schmidt, R. A. and Weidenbach, C.},
MONTH = may # {~5--8},
YEAR = {1998},
TITLE = {Optimised Functional Translation and Resolution},
EDITOR = {de Swart, H.},
BOOKTITLE = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, Proceedings},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {1397},
PUBLISHER = {Springer},
PAGES = {36--37},
NOTE = {Contribution to the comparison section of modal theorem provers.},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/HustadtSchmidtWeidenbach98.html},
}