FI-00500 HELSINKI, FI

1. 20090171876 Cover type controlled graph rewriting based parallel system for automated problem solving 07-02-2009