Logical and Computational Aspects of Model-Based Reasoning (APPLIED LOGIC SERIES Volume 25) (Applied Logic Series) | lit.salon