@inproceedings{
    airg96:poster,
    editor = "Fuchs, N.E. and Geske, U.",
    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 = "GMD---Forschungszentrum Informationstechnik",
    title = "On Merging Theorem Proving and Logic Programming Paradigms",
    booktitle = "Proceedings of the Poster Session at JICSLP'96",
    address = "Bonn, Germany",
    month = "September",
    note = "GMD-Studien Nr.~296",
    year = "1996",
    organization = "",
    pages = "99--122"
}