Springer, Lecture Notes in Computer Science, p. 450-464, 2015
DOI: 10.1007/978-3-319-21401-6_31
Springer Verlag, Journal of Automated Reasoning, 3(58), p. 363-390
DOI: 10.1007/s10817-016-9382-4
Export citation
Search in Google Scholar
Full text: Unavailable