Last update: Sun Oct 15 02:15:49 MDT 2017
@Article{Castilho:1997:MTP, author = "Marcos A. Castilho and Luis Fari{\~n}as del Cerro and Olivier Gasquet and Andreas Herzig", title = "Modal Tableaux with Propagation Rules and Structural Rules", journal = j-FUND-INFO, volume = "32", number = "3--4", pages = "281--297", month = dec, year = "1997", CODEN = "FUMAAJ", DOI = "https://doi.org/10.3233/FI-1997-323404", ISSN = "0169-2968 (print), 1875-8681 (electronic)", ISSN-L = "0169-2968", bibdate = "Sat Mar 5 16:55:13 MST 2016", bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo1990.bib", acknowledgement = ack-nhfb, fjournal = "Fundamenta Informaticae", journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae", }