Título:
A Tool for Analysing Logics
Autor:
Ano:
2011
Idioma:
Inglês
DOI:
10.1016/j.entcs.2011.03.010
ISSN:
15710661
Home:
http://www.sciencedirect.com/science?_ob=PublicationURL&_tockey=%23TOC%2313109%232011%23997309999%233111772%23FLP%23&_cdi=13109&_pubType=J&_auth=y&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=c528e925f426cfa42a886165f571ab26