An abstract system resolving into by Yurii TarasovAn abstract system resolving into by Yurii Tarasov