Title: Metody i sredstva algebraicheskogo i logicheskogo programmirovanii︠a︡
Subjects: Logic programming, Algebraic logic