Compuational Logic

@incollection{pub2380,
    author = {

Bürckert, Hans-Jürgen
},
    editor = {

Bläsius, Karl-Hans
 and 

Bürckert, Hans-Jürgen
},
    title = {Compuational Logic},
    booktitle = {Deduction Systems in Artificial Intelligence},
    year = {1989},
    pages = {177--202},
    publisher = {Ellis Horwood},
    note = {Translation}
}