Annals of Mathematics and Artificial Intelligence, Volume 1

Volume 1, 1990

Horn Logic, Search and Satisfiability
A collection of papers in memory of Robert G. Jeroslow
Schloss Dagstuhl LZI