"Multiple decision procedures" - читать интересную книгу автора (Shanti S. Gupta, S. Panchapakesan)