INKA: The Next Generation

@inproceedings{pub1574,
    author = {

Hutter, Dieter
 and 

Sengler, Claus
},
    editor = {

McRobbie, Michael A.
 and 

Slaney, John K.
},
    title = {INKA: The Next Generation},
    booktitle = {Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International Conference on Automated Deduction (CADE), 13th, July 30-August 3, New Brunswick, NJ, United States},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {1996},
    volume = {1104},
    pages = {288--292},
    publisher = {Springer-Verlag},
    isbn = {978-3-540-61511-8}
}