Page 1 of 1.
Maksym Bortin; Christoph Lüth
In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence …
Maksym Bortin; Einar Broch Johnsen; Christoph Lüth
In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.