
author={Aravindan, Chandrabose and Baumgartner, Peter and Dix, Jürgen and Furbach, Ulrich and Neugebauer, Gerd and Niemelä, Ilkka and Schäfer, Dorothea and Stolzenburg, Frieder},
editor={M. Maher},
title={On merging theorem proving and logic programming paradigms},
booktitle={Proceedings of the Joint International Conference and Symposium on Logic Programming},
year={1996},
pages={546},
publisher={MIT Press},
}
