Aravindan C. , Baumgartner P. , Dix J. , Furbach U. , Neugebauer G. , Niemelä Ilkka , Schäfer D. , Stolzenburg F.

@inproceedings{
    airg96:poster_ini,
    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",
    year = "1996",
    month = "September",
    note = "GMD-Studien Nr.~296",
    address = "Bonn, Germany",
    organization = "",
    pages = "99--122"
}

AUTHORS: