Deduction systems in artificial intelligence /
Bläsius, K. H.(Karl Hans)
Bürckert, H.-J.(Hans-Jürgen)
Chichester Horwood
1989
Includes bibliographies and index