You are about to access our book library "Soft Computing Evaluation Logic: The LSP Decision Method and Its Applications full version" .