@InProceedings{TurhanKissigIJCAR04,
  author = 	 {Anni-Yasmin Turhan and Christian Kissig},
  title = 	 {{\sc Sonic}---Non-standard Inferences go {\sc OilEd}},
  booktitle = 	 {Proceedings of the 2nd International 
                  Joint Conference on Automated Reasoning ({IJCAR'04})},
  year = 	 {2004},
  editor = 	 {D. Basin and M. Rusinowitch},
  series = 	 {Lecture Notes in Artificial Intelligence},
  volume = {3097},
  publisher = {Springer-Verlag},
  springer =     {yes}
}