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