Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa Semantics of structured normal logic programs. (English) Zbl 1279.68190 J. Log. Algebr. Program. 81, No. 5, 559-584 (2012). MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{E. Pasarella} et al., J. Log. Algebr. Program. 81, No. 5, 559--584 (2012; Zbl 1279.68190) Full Text: DOI
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando Dual systems of tableaux and sequents for PLTL. (English) Zbl 1183.68596 J. Log. Algebr. Program. 78, No. 8, 701-722 (2009). MSC: 68T27 68T15 03B44 PDFBibTeX XMLCite \textit{J. Gaintzarain} et al., J. Log. Algebr. Program. 78, No. 8, 701--722 (2009; Zbl 1183.68596) Full Text: DOI