Spass version 3.5 (2009)

by C Weidenbach, D Dimova, A Fietzke, R Kumar, M Suda, P Wischnewski
Venue:of Lecture Notes in Computer Science