@INPROCEEDINGS{HustadtSchmidt98a,
AUTHOR = {Hustadt, U. and Schmidt, R. A.},
MONTH = may # {~5--8},
YEAR = {1998},
TITLE = {Simplification and Backjumping in Modal Tableau},
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 = {187--201},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/HustadtSchmidt98a.html},
}