Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow
The articles of this volume will be reviewed individually.
scientific article; zbMATH DE number 1017056