The Graphical User Interface of INKA

@inproceedings{pub1575,
    author = {

Hutter, Dieter
 and 

Sengler, Claus
},
    editor = {

Merriam, Nicholas A.
},
    title = {The Graphical User Interface of INKA},
    booktitle = {Proceedings International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-96), July 19, York, United Kingdom},
    year = {1996},
    pages = {43--50},
    publisher = {N. Merriam}
}