On Applications of Algorithmic Logic.

Grazyna Mirkowska Andrzej Salwicki On Applications of Algorithmic Logic. 288-306 1986 conf/caap/1986 CAAP db/conf/caap/caap86.html#MirkowskaS86 http://dx.doi.org/10.1007/BFb0022675