Honkala Juha
:
On DOL systems with finite axiom sets.
In: Acta cybernetica, (16) 1. pp. 29-35. (2003)