Author Details

Futo, Ivan, Applied Logic Laboratory, Budapest, Hungary, Hungary