Author: Muñoz César
Publisher: Springer Publishing Company
ISSN: 0168-7433
Source: Journal of Automated Reasoning, Vol.51, Iss.2, 2013-08, pp. : 151-196
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract