Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера А.Ю. Плюшкевичене — 1971 Zapiski naucnych seminarov Leningradskogo
Устранение правил типа сечения в аксиоматических теориях с равенством А.Ю. Плюшкевичене — 1969 Zapiski naucnych seminarov Leningradskogo
О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством А.Ю. Плюшкевичене — 1971 Zapiski naucnych seminarov Leningradskogo
Распространение обратного метода на аксиоматические теории с равенством А.Ю. Плюшкевичене — 1973 Zapiski naucnych seminarov Leningradskogo