@inproceedings{
    airg96:jicslp,
    editor = "Maher, M.",
    author = {Aravindan, C. and Baumgartner, P. and Dix, J. and Furbach, U. and Neugebauer, G. and Niemel{\"a}, Ilkka and Sch\"afer, D. and Stolzenburg, F.},
    publisher = "The MIT Press",
    title = "On Merging Theorem Proving and Logic Programming Paradigms",
    booktitle = "Proceedings of the Joint International Conference and Symposium on Logic Programming",
    address = "Bonn, Germany",
    month = "September",
    note = "",
    year = "1996",
    organization = "",
    pages = "546"
}