Обратный метод Маслова

[alex_dorin]

Здравствуйте !
Подскажите литературу , содержащую разобранные примеры использования обратного метода Маслова установления выводимости для логических исчислений применительно к логике первого порядка.
Или, если возможно, разъясните получение благоприятных наборов, о которых пишет Маслов.

С уважением
А. Дорин