The Incredible ELK
Kazakov, Yevgeny, Krötzsch, Markus, Simančík, FrantišekVolume:
53
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-013-9296-3
Date:
June, 2014
File:
PDF, 2.63 MB
english, 2014