Last update: Sat Oct 14 02:35:45 MDT 2017
@Article{Nalon:2007:CRN, author = "Cl{\'a}udia Nalon and Clare Dixon", title = "Clausal resolution for normal modal logics", journal = j-J-ALG, volume = "62", number = "3--4", pages = "117--134", month = jul # "\slash " # oct, year = "2007", CODEN = "JOALDV", DOI = "https://doi.org/10.1016/j.jalgor.2007.04.001", ISSN = "0196-6774 (print), 1090-2678 (electronic)", ISSN-L = "0196-6774", bibdate = "Tue Dec 11 09:23:26 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/jalg.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0196677407000302", acknowledgement = ack-nhfb, fjournal = "Journal of Algorithms", journal-URL = "http://www.sciencedirect.com/science/journal/01966774", }