Deduction Systems in Artificial Intelligence

@book{pub1833,
    editor = {

Bläsius, Karl-Hans
 and 

Bürckert, Hans-Jürgen
},
    title = {Deduction Systems in Artificial Intelligence},
    series = {Ellis Horwood Series in Artificial Intelligence},
    year = {1989},
    publisher = {Ellis Horwood}
}