@article{Giese06JAR,
   author = {Martin Giese},
   title  = {Superposition-based Equality Handling for Analytic Tableaux},
   journal = {Journal of Automated Reasoning},
   pages = {127-153},
   volume = {38},
   number = {1-3},
   year = 2007,
   month = {April},
}