Springer Verlag, Journal of Automated Reasoning, 1(55), p. 1-37
DOI: 10.1007/s10817-015-9322-8
Export citation
Search in Google Scholar
Full text: Download