Godlin, B.; Katz, E.; Makowsky, J. A. Graph polynomials: from recursive definitions to subset expansion formulas. (English) Zbl 1239.05095 J. Log. Comput. 22, No. 2, 237-265 (2012). MSC: 05C31 03B15 03C13 PDFBibTeX XMLCite \textit{B. Godlin} et al., J. Log. Comput. 22, No. 2, 237--265 (2012; Zbl 1239.05095) Full Text: DOI arXiv
Kaminski, Michael; Makowsky, Johann A.; Tiomkin, Michael Extensions for open default theories via the domain closure assumption. (English) Zbl 0901.68188 J. Log. Comput. 8, No. 2, 169-187 (1998). MSC: 68T27 03B60 PDFBibTeX XMLCite \textit{M. Kaminski} et al., J. Log. Comput. 8, No. 2, 169--187 (1998; Zbl 0901.68188) Full Text: DOI
Makowsky, Johann A.; Sharell, Abraham On average case complexity of \(\text{SAT}\) for symmetric distribution. (English) Zbl 0989.03039 J. Log. Comput. 5, No. 1, 71-92 (1995). MSC: 03D15 03B35 68Q15 68Q25 PDFBibTeX XMLCite \textit{J. A. Makowsky} and \textit{A. Sharell}, J. Log. Comput. 5, No. 1, 71--92 (1995; Zbl 0989.03039) Full Text: DOI