Title: Teorii︠a︡ vychisleniĭ i i︠a︡zyki spet︠s︡ifikat︠s︡iĭ
Subjects: Logic programming